choco.cp.solver.constraints.reified
Class IfThenElse
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
choco.cp.solver.constraints.reified.ReifiedIntSConstraint
choco.cp.solver.constraints.reified.IfThenElse
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public final class IfThenElse
- extends ReifiedIntSConstraint
A constraint to state :
if (bool = 1) cons else othercons
Method Summary |
void |
filterReifiedConstraintFromCons()
|
boolean |
isSatisfied(int[] tuple)
TEMPORARY: if not overriden by the constraint, throws an error
to avoid bug using reified constraints in constraints
that have not been changed to fulfill this api yet ! |
Methods inherited from class choco.cp.solver.constraints.reified.ReifiedIntSConstraint |
addExtension, addListener, awake, awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, filter, getFilteredEventMask, pretty, propagate, setPropagationEngine |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, setConstraintIndex, setExtension, setVar, toString |
IfThenElse
public IfThenElse(IntDomainVar bool,
AbstractIntSConstraint cons,
AbstractIntSConstraint othercons)
filterReifiedConstraintFromCons
public void filterReifiedConstraintFromCons()
throws ContradictionException
- Overrides:
filterReifiedConstraintFromCons
in class ReifiedIntSConstraint
- Throws:
ContradictionException
isSatisfied
public boolean isSatisfied(int[] tuple)
- TEMPORARY: if not overriden by the constraint, throws an error
to avoid bug using reified constraints in constraints
that have not been changed to fulfill this api yet !
- Specified by:
isSatisfied
in interface IntPropagator
- Overrides:
isSatisfied
in class ReifiedIntSConstraint
- Parameters:
tuple
-
- Returns:
Copyright © 2012. All Rights Reserved.