default RealConstraint |
IRealConstraintFactory.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( ),...'
|
default RealConstraint |
IRealConstraintFactory.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( ),...'
|