Added domains

Author: e-duar-do

Project.toml

@@ -3,6 +3,9 @@ uuid = "6c38235a-427b-4736-80fa-cf75909744ec"
 authors = ["Eduardo M. G. Vila <72969764+e-duar-do@users.noreply.github.com> and contributors"]
 version = "0.0.0"
 
+[deps]
+MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
+
 [compat]
 julia = "1.6"
 

README.md

@@ -0,0 +1,6 @@
+# 🦖DynOptInterface
+
+[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://JuDO-dev.github.io/DynOptInterface.jl/stable/)
+[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://JuDO-dev.github.io/DynOptInterface.jl/dev/)
+[![Build Status](https://github.com/JuDO-dev/DynOptInterface.jl/actions/workflows/CI.yml/badge.svg?branch=dev)](https://github.com/JuDO-dev/DynOptInterface.jl/actions/workflows/CI.yml?query=branch%3Adev)
+[![Coverage](https://codecov.io/gh/JuDO-dev/DynOptInterface.jl/branch/dev/graph/badge.svg)](https://codecov.io/gh/JuDO-dev/DynOptInterface.jl)

src/DynOptInterface.jl

@@ -1,5 +1,9 @@
 module DynOptInterface
 
-# Write your package code here.
+import MathOptInterface as MOI
 
-end
+abstract type AbstractDomain end
+
+include("domains.jl")
+
+end

src/domains.jl

@@ -0,0 +1,26 @@
+"""
+    supports_domain(
+        model::MOI.ModelLike,
+        ::Type{<:AbstractDomain},
+    )::Bool
+
+Returns true if a domain type is supported and false ortherwise.
+"""
+function supports_domain(
+    ::MOI.ModelLike,
+    ::Type{<:AbstractDomain})
+    return false
+end
+
+"""
+    FixedDomain{T} <: AbstractDomain
+        initial::T
+        final::T
+    end
+
+A domain type with fixed initial and final limits.
+"""
+struct FixedDomain{T} <: AbstractDomain
+    initial::T
+    final::T
+end