org.chocosolver.solver.constraints.real

Class IntEqRealConstraint

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.real.IntEqRealConstraint

All Implemented Interfaces:

Serializable

public class IntEqRealConstraint
extends Constraint

Channeling constraint between integers and reals, to avoid views

Since:

07/04/2014

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.Constraint

name, propagators

Constructor Summary

Constructors

Constructor and Description
IntEqRealConstraint(IntVar[] intVars, RealVar[] realVars, double epsilon) Channeling between integer variables intVars and real variables realVars.
IntEqRealConstraint(IntVar intVar, RealVar realVar, double epsilon) Channeling between an integer variable intVar and a real variable realVar.

Method Summary

Methods inherited from class org.chocosolver.solver.constraints.Constraint

computeMaxPriority, duplicate, getName, getOpposite, getPropagator, getPropagators, isReified, isSatisfied, makeOpposite, reif, reifyWith, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IntEqRealConstraint

public IntEqRealConstraint(IntVar[] intVars,
                   RealVar[] realVars,
                   double epsilon)

Channeling between integer variables intVars and real variables realVars. Thus, for any i in [0,intVars.length-1], |intVars[i]-realVars[i]|< epsilon. intVars.length must be equal to realVars.length.

Parameters:

intVars - integer variables

realVars - real variables

epsilon - precision parameter

IntEqRealConstraint

public IntEqRealConstraint(IntVar intVar,
                   RealVar realVar,
                   double epsilon)

Channeling between an integer variable intVar and a real variable realVar. Thus, |intVar-realVar|< epsilon.

Parameters:

intVar - integer variable

realVar - real variable

epsilon - precision parameter