choco.cp.solver.constraints.global.scheduling.precedence
Class PrecedenceReified
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.global.scheduling.precedence.AbstractPrecedenceSConstraint
choco.cp.solver.constraints.global.scheduling.precedence.PrecedenceReified
- All Implemented Interfaces:
- ITemporalSRelation, IExtensionnable, IPretty, ITemporalRelation<TaskVar<?>,IntDomainVar>, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public final class PrecedenceReified
- extends AbstractPrecedenceSConstraint
- b = 1 <=> x1 + k1 <= x2
- b = 0 <=> x1 + k1 > x2
Methods inherited from class choco.cp.solver.constraints.global.scheduling.precedence.AbstractPrecedenceSConstraint |
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRemovals, awakeOnSup, backwardSetup, forwardSetup, getBackwardPreserved, getDestination, getDirection, getDirVal, getFilteredEventMask, getForwardPreserved, getOrigin, getTotalSlack, isEntailed, isEntailed, isFixed, isSatisfied, isSatisfied, pretty, pretty, pretty, propagate, propagate, propagate, setTasks, toString |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, setConstraintIndex, setExtension, setVar |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, awake, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
PrecedenceReified
public PrecedenceReified(IntDomainVar x1,
int k1,
IntDomainVar x2,
IntDomainVar b)
propagateP1
public void propagateP1()
throws ContradictionException
- Specified by:
propagateP1
in class AbstractPrecedenceSConstraint
- Throws:
ContradictionException
propagateP2
public void propagateP2()
throws ContradictionException
- Specified by:
propagateP2
in class AbstractPrecedenceSConstraint
- Throws:
ContradictionException
isP1Entailed
public Boolean isP1Entailed()
- Specified by:
isP1Entailed
in class AbstractPrecedenceSConstraint
isP2Entailed
public Boolean isP2Entailed()
- Specified by:
isP2Entailed
in class AbstractPrecedenceSConstraint
filterOnP1P2TowardsB
public void filterOnP1P2TowardsB()
throws ContradictionException
- Overrides:
filterOnP1P2TowardsB
in class AbstractPrecedenceSConstraint
- Throws:
ContradictionException
isSatisfied
public boolean isSatisfied()
- Description copied from class:
AbstractIntSConstraint
- Default implementation of the isSatisfied by
delegating to the isSatisfied(int[] tuple)
- Specified by:
isSatisfied
in interface SConstraint<IntDomainVar>
- Overrides:
isSatisfied
in class AbstractIntSConstraint
- Returns:
- true if the constraint is satisfied
isSatisfied
public boolean isSatisfied(int[] tuple)
- Description copied from class:
AbstractIntSConstraint
- 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 AbstractIntSConstraint
pretty
public String pretty()
- Description copied from interface:
IPretty
- pretty printing of the object. This String is not constant and may depend on the context.
- Specified by:
pretty
in interface IPretty
- Overrides:
pretty
in class AbstractSConstraint<IntDomainVar>
- Returns:
- a readable string representation of the object
Copyright © 2012. All Rights Reserved.