public class RealConstraint extends Constraint
Constraint.Status
propagators
Constructor and Description |
---|
RealConstraint(String name,
RealPropagator... propagators)
Make a new RealConstraint defined as a set of RealPropagators
|
RealConstraint(String functions,
RealVar... 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( ),...' |
RealConstraint(String name,
String functions,
int option,
RealVar... 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( ),...' |
RealConstraint(String name,
String functions,
RealVar... 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( ),...' |
Modifier and Type | Method and Description |
---|---|
protected void |
finalize() |
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, makeOpposite, merge, post, reify, reifyWith, setName, toString
public RealConstraint(String name, RealPropagator... propagators)
name
- name of the constraintpropagators
- set of propagators defining the constraintpublic RealConstraint(String name, String functions, int option, RealVar... rvars)
vars
,
RealConstraint rc = new RealConstraint(solver); rc.addFunction("({0}*{1})+sin({0})=1.0;ln({0}+[-0.1,0.1])>=2.6", Ibex.HC4, x,y);
name
- name of the constraintfunctions
- list of functions, separated by a semi-colonoption
- propagation option index (Ibex.COMPO is DEFAULT)rvars
- a list of real variablespublic RealConstraint(String name, String functions, RealVar... rvars)
vars
,
RealConstraint rc = new RealConstraint(solver); rc.addFunction("({0}*{1})+sin({0})=1.0;ln({0}+[-0.1,0.1])>=2.6", Ibex.HC4, x,y);
name
- name of the constraintfunctions
- list of functions, separated by a semi-colonrvars
- a list of real variablespublic RealConstraint(String functions, RealVar... rvars)
vars
,
RealConstraint rc = new RealConstraint(solver); rc.addFunction("({0}*{1})+sin({0})=1.0;ln({0}+[-0.1,0.1])>=2.6", Ibex.HC4, x,y);
functions
- list of functions, separated by a semi-colonrvars
- a list of real variablesCopyright © 2017. All rights reserved.