|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
choco.kernel.solver.constraints.integer.AbstractBinIntSConstraint
choco.cp.solver.constraints.integer.DistanceXYC
public final class DistanceXYC
Field Summary | |
---|---|
protected int |
cste
|
static int |
EQ
|
static int |
GT
|
static int |
LT
|
static int |
NEQ
|
protected int |
operator
|
Fields inherited from class choco.kernel.solver.constraints.integer.AbstractBinIntSConstraint |
---|
v0, 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 | |
---|---|
DistanceXYC(IntDomainVar v1,
IntDomainVar v2,
int c,
int oper)
|
Method Summary | |
---|---|
void |
awake()
Default initial propagation: full constraint re-propagation. |
void |
awakeOnInf(int idx)
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 idx)
Default propagation on improved upper bound: propagation on domain revision. |
void |
filterFromVarToVar(IntDomainVar var1,
IntDomainVar var2)
Initial propagation in case of EQ and enumerated domains |
void |
filterGT()
In case of a GT |
void |
filterGTonVar(IntDomainVar vv0,
IntDomainVar vv1)
In case of a GT, due to a modification on vv0 domain |
void |
filterLT()
In case of a LT |
void |
filterLTonVar(IntDomainVar vv0,
IntDomainVar vv1)
In case of a LT, due to a modification on vv0 domain |
void |
filterNeq()
|
void |
filterOnInf(IntDomainVar vv0,
IntDomainVar vv1)
In case of a EQ, due to a modification of the lower bound of vv0 |
void |
filterOnInst(IntDomainVar v,
int val)
In case of a EQ, due to the instantion to one variable to val |
void |
filterOnSup(IntDomainVar vv0,
IntDomainVar vv1)
In case of a EQ, due to a modification of the upper bound of vv0 |
int |
getFilteredEventMask(int idx)
|
Boolean |
isEntailed()
Indicates if the constraint is entailed, from now on will be always satisfied |
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 ! |
String |
pretty()
pretty printing of the object. |
void |
propagate()
Propagation: Propagating the constraint until local consistency is reached. |
String |
toString()
|
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint |
---|
awakeOnBounds, awakeOnRemovals, getConstraintType, isConsistent, isSatisfied |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, opposite, setConstraintIndex, setExtension, setVar |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
---|
activate, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected int operator
protected final int cste
public static final int EQ
public static final int LT
public static final int GT
public static final int NEQ
Constructor Detail |
---|
public DistanceXYC(IntDomainVar v1, IntDomainVar v2, int c, int oper)
Method Detail |
---|
public int getFilteredEventMask(int idx)
getFilteredEventMask
in class Propagator
public void filterFromVarToVar(IntDomainVar var1, IntDomainVar var2) throws ContradictionException
ContradictionException
public void filterGT() throws ContradictionException
ContradictionException
public void filterGTonVar(IntDomainVar vv0, IntDomainVar vv1) throws ContradictionException
ContradictionException
public void filterLT() throws ContradictionException
ContradictionException
public void filterLTonVar(IntDomainVar vv0, IntDomainVar vv1) throws ContradictionException
ContradictionException
public void filterOnInf(IntDomainVar vv0, IntDomainVar vv1) throws ContradictionException
ContradictionException
public void filterOnSup(IntDomainVar vv0, IntDomainVar vv1) throws ContradictionException
ContradictionException
public void filterOnInst(IntDomainVar v, int val) throws ContradictionException
ContradictionException
public void filterNeq() throws ContradictionException
ContradictionException
public void awake() throws ContradictionException
awake
in class Propagator
ContradictionException
- contradiction exceptionpublic void propagate() throws ContradictionException
Propagator
propagate
in class Propagator
ContradictionException
- contradiction exceptionpublic void awakeOnRem(int idx, int x) throws ContradictionException
AbstractIntSConstraint
awakeOnRem
in interface IntPropagator
awakeOnRem
in class AbstractIntSConstraint
ContradictionException
public void awakeOnSup(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnSup
in interface IntPropagator
awakeOnSup
in class AbstractIntSConstraint
ContradictionException
public void awakeOnInf(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnInf
in interface IntPropagator
awakeOnInf
in class AbstractIntSConstraint
ContradictionException
public void awakeOnInst(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnInst
in interface IntPropagator
awakeOnInst
in class AbstractIntSConstraint
ContradictionException
public String toString()
toString
in class AbstractSConstraint<IntDomainVar>
public String pretty()
IPretty
pretty
in interface IPretty
pretty
in class AbstractSConstraint<IntDomainVar>
public Boolean isEntailed()
AbstractSConstraint
isEntailed
in class AbstractSConstraint<IntDomainVar>
public boolean isSatisfied(int[] tuple)
AbstractIntSConstraint
isSatisfied
in interface IntPropagator
isSatisfied
in class AbstractIntSConstraint
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |