samples.tutorials.to_sort.tsp
Class MinSpanningTree
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
samples.tutorials.to_sort.tsp.MinSpanningTree
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public class MinSpanningTree
- extends AbstractLargeIntSConstraint
Method Summary |
int |
arpm()
|
void |
awake()
Propagation:
Propagating the constraint for the very first time until local
consistency is reached. |
void |
awakeOnBounds(int u)
|
void |
awakeOnInf(int u)
Default propagation on improved lower bound: propagation on domain revision. |
void |
awakeOnInst(int u)
Default propagation on instantiation: full constraint re-propagation. |
void |
awakeOnRem(int u,
int v)
Default propagation on one value removal: propagation on domain revision. |
void |
awakeOnRemovals(int u,
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 u)
Default propagation on improved upper bound: propagation on domain revision. |
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. |
String |
showSet(List<Set<Integer>> classes)
|
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 |
n
protected int n
objective
protected IntDomainVar objective
s
protected IntDomainVar[] s
dist
protected IStateInt[][] dist
lowerBound
protected IStateInt lowerBound
MinSpanningTree
public MinSpanningTree(IntDomainVar[] allVars,
int[][] dist,
IEnvironment environment)
arpm
public int arpm()
showSet
public String showSet(List<Set<Integer>> classes)
awake
public void awake()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint for the very first time until local
consistency is reached.
- Overrides:
awake
in class Propagator
- Throws:
ContradictionException
- contradiction exception
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
awakeOnInst
public void awakeOnInst(int u)
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
awakeOnInf
public void awakeOnInf(int u)
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 u)
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
awakeOnBounds
public void awakeOnBounds(int u)
throws ContradictionException
- Specified by:
awakeOnBounds
in interface IntPropagator
- Overrides:
awakeOnBounds
in class AbstractIntSConstraint
- Throws:
ContradictionException
awakeOnRem
public void awakeOnRem(int u,
int v)
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
awakeOnRemovals
public void awakeOnRemovals(int u,
DisposableIntIterator deltaDomain)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- 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.
- Specified by:
awakeOnRemovals
in interface IntPropagator
- Overrides:
awakeOnRemovals
in class AbstractIntSConstraint
- 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
Copyright © 2012. All Rights Reserved.