choco.kernel.solver.constraints.real
Class AbstractBinRealIntSConstraint

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<Var>
          extended by choco.kernel.solver.constraints.real.AbstractMixedSRealIntSConstraint
              extended by choco.kernel.solver.constraints.real.AbstractBinRealIntSConstraint
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<Var>, IntPropagator, RealPropagator, Cloneable, EventListener
Direct Known Subclasses:
MixedCstElt, MixedEqXY

public abstract class AbstractBinRealIntSConstraint
extends AbstractMixedSRealIntSConstraint


Field Summary
protected  RealVar v0
           
protected  IntDomainVar v1
           
 
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint
cIndices, constraintType, extensions, vars
 
Fields inherited from class choco.kernel.solver.propagation.Propagator
active, constAwakeEvent, priority, propagationEngine
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
Constructor Summary
AbstractBinRealIntSConstraint(RealVar v0, IntDomainVar v1)
           
 
Method Summary
 Object clone()
          Clone the constraint
 SConstraintType getConstraintType()
          Return the type of constraint, ie the type of variable involved in the constraint
 IntDomainVar getIntVar(int i)
           
 int getIntVarNb()
           
 RealVar getRealVar(int i)
           
 int getRealVarNb()
           
 boolean isSatisfied(int[] tuple)
           
 
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint
addExtension, addListener, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString
 
Methods inherited from class choco.kernel.solver.propagation.Propagator
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, getPriority, isActive, isConsistent, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.propagation.listener.IntPropagator
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup
 
Methods inherited from interface choco.kernel.solver.propagation.listener.RealPropagator
awakeOnInf, awakeOnSup
 
Methods inherited from interface choco.kernel.solver.constraints.SConstraint
isSatisfied
 

Field Detail

v0

protected RealVar v0

v1

protected IntDomainVar v1
Constructor Detail

AbstractBinRealIntSConstraint

public AbstractBinRealIntSConstraint(RealVar v0,
                                     IntDomainVar v1)
Method Detail

clone

public Object clone()
             throws CloneNotSupportedException
Description copied from class: AbstractSConstraint
Clone the constraint

Overrides:
clone in class AbstractSConstraint<Var>
Returns:
the clone of the constraint
Throws:
CloneNotSupportedException - Clone not supported exception

getRealVar

public RealVar getRealVar(int i)

getRealVarNb

public int getRealVarNb()

getIntVar

public IntDomainVar getIntVar(int i)

getIntVarNb

public int getIntVarNb()

isSatisfied

public boolean isSatisfied(int[] tuple)

getConstraintType

public SConstraintType getConstraintType()
Description copied from interface: SConstraint
Return the type of constraint, ie the type of variable involved in the constraint

Returns:


Copyright © 2012. All Rights Reserved.