Update sets_reification.jl

JuliaConstraints · Mar 14, 2021 · 803e7ae · 803e7ae · dourouc05 · Mar 14, 2021
1 parent be494ca
commit 803e7ae
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/sets_reification.jl b/src/sets_reification.jl
@@ -143,9 +143,9 @@ end
 
 The logical conjunction operator ∧ (AND).
 
-``\\{(x, y\\dots) \\in \\mathbb{R}^a \\times \\mathbb{R}^b\\dots | x \\in \mathbb{S_1} \\land y \\in \mathbb{S_2} \\dots \\}``.
+``\\{(x, y\\dots) \\in \\mathbb{R}^a \\times \\mathbb{R}^b\\dots | x \\in \\mathbb{S_1} \\land y \\in \\mathbb{S_2} \\dots \\}``.
 """
-struct Conjunction{Ts::Tuple} <: MOI.AbstractVectorSet
+struct Conjunction{Ts <: Tuple} <: MOI.AbstractVectorSet
     constraints::Ts
 end
 
@@ -165,9 +165,9 @@ end
 
 The logical disjunction operator ∨ (AND).
 
-``\\{(x, y\\dots) \\in \\mathbb{R}^a \\times \\mathbb{R}^b\\dots | x \\in \mathbb{S_1} \\lor y \\in \mathbb{S_2} \\dots \\}``.
+``\\{(x, y\\dots) \\in \\mathbb{R}^a \\times \\mathbb{R}^b\\dots | x \\in \\mathbb{S_1} \\lor y \\in \\mathbb{S_2} \\dots \\}``.
 """
-struct Disjunction{Ts::Tuple} <: MOI.AbstractVectorSet
+struct Disjunction{Ts <: Tuple} <: MOI.AbstractVectorSet
     constraints::Ts
 end