14.2.9 Class DJC¶
- mosek.fusion.DJC¶
A class providing static methods to manipulate terms of disjunctive constraints (DJC).
- DJC.AND¶
Term DJC.AND(SimpleTerm[] slist) Term DJC.AND(SimpleTerm s1) Term DJC.AND(SimpleTerm s1, SimpleTerm s2) Term DJC.AND(SimpleTerm s1, SimpleTerm s2, SimpleTerm s3)
Creates a conjunction of existing simple terms \(S_1,\ldots,S_n\), that is a term representing:
\[S_1 \ \mathrm{AND}\ \cdots\ \mathrm{AND}\ S_n.\]- Parameters
slist
(SimpleTerm
[]) – A list of simple terms in the conjunction.s1
(SimpleTerm
) – A simple term.s2
(SimpleTerm
) – A simple term.s3
(SimpleTerm
) – A simple term.
- Return
(
Term
)
- DJC.Term¶
SimpleTerm DJC.Term(Variable x, LinearDomain dom) SimpleTerm DJC.Term(Expression expr, LinearDomain dom) SimpleTerm DJC.Term(Variable x, RangeDomain dom) SimpleTerm DJC.Term(Expression expr, RangeDomain dom)
Creates a simple term, that is a condition which can be used as a building block in disjunctive constraints. A simple term has the form an expression belongs to a domain. Only linear and ranged domains are allowed in a disjunctive constraint.
A simple term can be used to construct a conjunctive term with
DJC.AND
or it can enter directly as a term into a disjunctive constraint viaModel.Disjunction
.- Parameters
x
(Variable
) – A variable.dom
(LinearDomain
) – The domain of this simple term.dom
(RangeDomain
) – The domain of this simple term.expr
(Expression
) – An expression.
- Return