|
||||||||||
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.AbstractLargeIntSConstraint
choco.cp.solver.constraints.global.Geost_Constraint
public final class Geost_Constraint
Field Summary | |
---|---|
protected Solver |
s
|
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 | |
---|---|
Geost_Constraint(IntDomainVar[] vars,
int k,
List<Obj> objects,
List<ShiftedBox> shiftedBoxes,
List<ExternalConstraint> ectr,
boolean memo,
HashMap<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included,
Solver solver)
Creates a geost constraint with the given parameters. |
|
Geost_Constraint(IntDomainVar[] vars,
int k,
List<Obj> objects,
List<ShiftedBox> shiftedBoxes,
List<ExternalConstraint> ectr,
List<int[]> ctrlVs,
boolean memo_active,
HashMap<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included,
boolean increment_,
Solver solver)
Creates a geost constraint with the given parameters. |
Method Summary | |
---|---|
void |
awake()
Propagation: Propagating the constraint for the very first time until local consistency is reached. |
void |
awakeOnBounds(int varIndex)
|
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 |
awakeOnRemovals(int idx,
DisposableIntIterator deltaDomain)
The default implementation of propagation when a variable has been modified consists in iterating all values that have been removed (the delta domain) and propagate them one after another, incrementally. |
void |
awakeOnSup(int idx)
Default propagation on improved upper bound: propagation on domain revision. |
void |
filter()
|
Constants |
getCst()
|
ExternalLayer |
getExternalLayer()
|
List<InternalConstraint> |
getForbiddenRegions(Obj o)
|
Setup |
getStp()
|
boolean |
isGreedy()
|
boolean |
isSatisfied()
Default implementation of the isSatisfied by delegating to the isSatisfied(int[] tuple) |
void |
propagate()
Propagation: Propagating the constraint until local consistency is reached. |
void |
setCst(Constants cst)
|
void |
setGreedy(boolean greedy)
|
void |
setStp(Setup stp)
|
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint |
---|
getConstraintType, isConsistent, isSatisfied |
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, constAwake, fail, getEvent, getFilteredEventMask, 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 Solver s
Constructor Detail |
---|
public Geost_Constraint(IntDomainVar[] vars, int k, List<Obj> objects, List<ShiftedBox> shiftedBoxes, List<ExternalConstraint> ectr, List<int[]> ctrlVs, boolean memo_active, HashMap<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included, boolean increment_, Solver solver)
vars
- Array of Variables for chocok
- Dimension of the problem we are working withobjects
- A vector containing the objects (obj)shiftedBoxes
- A vector containing the shifted boxesectr
- A vector containing the External Constraints in our problemctrlVs
- A list of controlling vectors used in the greedy modesolver
- public Geost_Constraint(IntDomainVar[] vars, int k, List<Obj> objects, List<ShiftedBox> shiftedBoxes, List<ExternalConstraint> ectr, boolean memo, HashMap<com.sun.tools.javac.util.Pair<Integer,Integer>,Boolean> included, Solver solver)
vars
- Array of Variables for chocok
- Dimension of the problem we are working withobjects
- A vector containing the objects (obj)shiftedBoxes
- A vector containing the shifted boxesectr
- A vector containing the External Constraints in our problemsolver
- Method Detail |
---|
public void filter() throws ContradictionException
ContradictionException
public boolean isSatisfied()
AbstractIntSConstraint
isSatisfied
in interface SConstraint<IntDomainVar>
isSatisfied
in class AbstractIntSConstraint
public void propagate() throws ContradictionException
Propagator
propagate
in class Propagator
ContradictionException
- contradiction exceptionpublic void awake() throws ContradictionException
Propagator
awake
in class Propagator
ContradictionException
- contradiction exceptionpublic void awakeOnInst(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnInst
in interface IntPropagator
awakeOnInst
in class AbstractIntSConstraint
ContradictionException
public void awakeOnInf(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnInf
in interface IntPropagator
awakeOnInf
in class AbstractIntSConstraint
ContradictionException
public void awakeOnSup(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnSup
in interface IntPropagator
awakeOnSup
in class AbstractIntSConstraint
ContradictionException
public void awakeOnBounds(int varIndex) throws ContradictionException
awakeOnBounds
in interface IntPropagator
awakeOnBounds
in class AbstractIntSConstraint
ContradictionException
public void awakeOnRem(int idx, int x) throws ContradictionException
AbstractIntSConstraint
awakeOnRem
in interface IntPropagator
awakeOnRem
in class AbstractIntSConstraint
ContradictionException
public void awakeOnRemovals(int idx, DisposableIntIterator deltaDomain) throws ContradictionException
AbstractIntSConstraint
awakeOnRemovals
in interface IntPropagator
awakeOnRemovals
in class AbstractIntSConstraint
ContradictionException
public Constants getCst()
public Setup getStp()
public void setCst(Constants cst)
public void setStp(Setup stp)
public ExternalLayer getExternalLayer()
public List<InternalConstraint> getForbiddenRegions(Obj o)
public void setGreedy(boolean greedy)
public boolean isGreedy()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |