public interface IRealConstraintFactory
Modifier and Type | Method and Description |
---|---|
default RealConstraint |
ibex(String functions,
Variable... rvars)
Creates a 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. |
default RealConstraint |
realIbexGenericConstraint(String functions,
Variable... rvars)
Creates a 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. |
default Constraint |
scalar(Variable[] vars,
double[] coeffs,
String op,
double bound)
Creates a linear equation constraint over RealVar, IntVar or BoolVar
which ensures that Sum(vars[i]*coeffs[i]) op bound
|
default RealConstraint realIbexGenericConstraint(String functions, Variable... rvars)
vars
,
functions
- list of functions, separated by a semi-colonrvars
- a list of real variablesdefault RealConstraint ibex(String functions, Variable... rvars)
vars
,
functions
- list of functions, separated by a semi-colonrvars
- a list of real variablesdefault Constraint scalar(Variable[] vars, double[] coeffs, String op, double bound)
vars
- a collection of variable (RealVar, IntVar, BoolVar are accepted)coeffs
- a collection of double, for which |vars|=|coeffs|op
- an operator in {"=", ">=", "<="}bound
- a doubleCopyright © 2018. All rights reserved.