diff --git a/docs/src/manual/constraints.md b/docs/src/manual/constraints.md index 40df7c8dc1e..9f6490e044d 100644 --- a/docs/src/manual/constraints.md +++ b/docs/src/manual/constraints.md @@ -1296,34 +1296,6 @@ julia> @constraint(model, [t; u; x] in RotatedSecondOrderCone()) [t, u, x[1], x[2]] ∈ MathOptInterface.RotatedSecondOrderCone(4) ``` -## Semi-integer and semi-continuous variables - -Semi-continuous variables are constrained to the set -``x \in \{0\} \cup [l, u]``. - -Create a semi-continuous variable using the [`Semicontinuous`](@ref) set: -```jldoctest -julia> model = Model(); - -julia> @variable(model, x); - -julia> @constraint(model, x in Semicontinuous(1.5, 3.5)) -x in MathOptInterface.Semicontinuous{Float64}(1.5, 3.5) -``` - -Semi-integer variables are constrained to the set -``x \in \{0\} \cup \{l, l+1, \dots, u\}``. - -Create a semi-integer variable using the [`Semiinteger`](@ref) set: -```jldoctest -julia> model = Model(); - -julia> @variable(model, x); - -julia> @constraint(model, x in Semiinteger(1.0, 3.0)) -x in MathOptInterface.Semiinteger{Float64}(1.0, 3.0) -``` - ## Special Ordered Sets of Type 1 In a Special Ordered Set of Type 1 (often denoted SOS-I or SOS1), at most one diff --git a/docs/src/manual/variables.md b/docs/src/manual/variables.md index ce8d6cf11a5..4c57da8a370 100644 --- a/docs/src/manual/variables.md +++ b/docs/src/manual/variables.md @@ -640,6 +640,30 @@ julia> set_integer(x) in the model, returning a function that can be called to undo the operation later on. +## Semi-integer and semi-continuous variables + +Semi-continuous variables are constrained to the set +``x \in \{0\} \cup [l, u]``. + +Create a semi-continuous variable using the [`Semicontinuous`](@ref) set: +```jldoctest +julia> model = Model(); + +julia> @variable(model, x in Semicontinuous(1.5, 3.5)) +x +``` + +Semi-integer variables are constrained to the set +``x \in \{0\} \cup \{l, l+1, \dots, u\}``. + +Create a semi-integer variable using the [`Semiinteger`](@ref) set: +```jldoctest +julia> model = Model(); + +julia> @variable(model, x in Semiinteger(1.0, 3.0)) +x +``` + ## Start values There are two ways to provide a primal starting solution (also called MIP-start