samples.jobshop
Class SimpleDTConstraint
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.AbstractBinIntSConstraint
samples.jobshop.SimpleDTConstraint
- All Implemented Interfaces:
- ISpecializedConstraint, IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public class SimpleDTConstraint
- extends AbstractBinIntSConstraint
- implements ISpecializedConstraint
Method Summary |
void |
awakeOnBounds(int varIdx)
|
void |
awakeOnInf(int varIdx)
Default propagation on improved lower bound: propagation on domain revision. |
void |
awakeOnInst(int idx)
Default propagation on instantiation: full constraint re-propagation. |
void |
awakeOnRem(int idx,
int x)
Default propagation on one value removal: propagation on domain revision. |
void |
awakeOnSup(int varIdx)
Default propagation on improved upper bound: propagation on domain revision. |
boolean |
check(int[] tuple)
|
int |
firstSupport(int position,
int value)
|
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 ! |
int |
nextSupport(int position,
int value,
int lastSupport)
|
void |
propagate()
Propagation:
Propagating the constraint until local consistency is reached. |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, clone, 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, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
SimpleDTConstraint
public SimpleDTConstraint(IntDomainVar x0,
IntDomainVar x1,
int duration0,
int duration1)
awakeOnBounds
public void awakeOnBounds(int varIdx)
throws ContradictionException
- Specified by:
awakeOnBounds
in interface IntPropagator
- Overrides:
awakeOnBounds
in class AbstractIntSConstraint
- Throws:
ContradictionException
awakeOnInf
public void awakeOnInf(int varIdx)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on improved lower bound: propagation on domain revision.
- Specified by:
awakeOnInf
in interface IntPropagator
- Overrides:
awakeOnInf
in class AbstractIntSConstraint
- Throws:
ContradictionException
awakeOnSup
public void awakeOnSup(int varIdx)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on improved upper bound: propagation on domain revision.
- Specified by:
awakeOnSup
in interface IntPropagator
- Overrides:
awakeOnSup
in class AbstractIntSConstraint
- Throws:
ContradictionException
awakeOnRem
public void awakeOnRem(int idx,
int x)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on one value removal: propagation on domain revision.
- Specified by:
awakeOnRem
in interface IntPropagator
- Overrides:
awakeOnRem
in class AbstractIntSConstraint
- Throws:
ContradictionException
awakeOnInst
public void awakeOnInst(int idx)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on instantiation: full constraint re-propagation.
- Specified by:
awakeOnInst
in interface IntPropagator
- Overrides:
awakeOnInst
in class AbstractIntSConstraint
- Throws:
ContradictionException
propagate
public void propagate()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint until local consistency is reached.
- Specified by:
propagate
in class Propagator
- Throws:
ContradictionException
- contradiction exception
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
check
public boolean check(int[] tuple)
- Specified by:
check
in interface ISpecializedConstraint
firstSupport
public int firstSupport(int position,
int value)
- Specified by:
firstSupport
in interface ISpecializedConstraint
nextSupport
public int nextSupport(int position,
int value,
int lastSupport)
- Specified by:
nextSupport
in interface ISpecializedConstraint
Copyright © 2012. All Rights Reserved.