public class RealConstraint extends Constraint
Constraint.Status
boolReif, propagators
Constructor and Description |
---|
RealConstraint(String functions,
int option,
Variable... rvars)
Deprecated.
see
RealConstraint(String, Variable...) instead |
RealConstraint(String functions,
Variable... rvars)
Make a new RealConstraint to model one or more continuous functions, separated with
semi-colon ";"
A function is a string declared using the following format: - the '{i}' tag defines a variable, where 'i' is an explicit index the array of variables vars , - one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...' A complete list is available in the documentation of IBEX. |
Modifier and Type | Method and Description |
---|---|
void |
reifyWith(BoolVar bool)
Reifies the constraint with a boolean variable
If the reified boolean variable already exists, an additional (equality) constraint is automatically posted.
|
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, makeOpposite, merge, post, reify, setName, setOpposite, toString
@Deprecated public RealConstraint(String functions, int option, Variable... rvars)
RealConstraint(String, Variable...)
insteadvars
, model.realIbexGenericConstraint("({0}*{1})+sin({0})=1.0;ln({0}+[-0.1,0.1])>=2.6", x, y).post();
functions
- list of functions, separated by a semi-colonoption
- propagation option index (Ibex.COMPO is DEFAULT)rvars
- a list of real variablespublic RealConstraint(String functions, Variable... rvars)
vars
, model.realIbexGenericConstraint("({0}*{1})+sin({0})=1.0;ln({0}+[-0.1,0.1])>=2.6", x, y).post();
functions
- list of functions, separated by a semi-colonrvars
- a list of real variablespublic void reifyWith(BoolVar bool)
reifyWith
in class Constraint
bool
- the variable to reify withCopyright © 2018. All rights reserved.