Uses of Class
org.chocosolver.util.objects.ValueSortedMap
-
-
Uses of ValueSortedMap in org.chocosolver.solver
Methods in org.chocosolver.solver with parameters of type ValueSortedMap Modifier and Type Method Description default void
ICause. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications implicationGraph, int pivot)
Clausal explanation for this cause. -
Uses of ValueSortedMap in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints with parameters of type ValueSortedMap Modifier and Type Method Description static void
Propagator. defaultExplain(Propagator prop, ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
Propagator. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.binary
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.nary.alldifferent
Methods in org.chocosolver.solver.constraints.nary.alldifferent with parameters of type ValueSortedMap Modifier and Type Method Description void
PropAllDiffInst. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.nary.clauses
Methods in org.chocosolver.solver.constraints.nary.clauses with parameters of type ValueSortedMap Modifier and Type Method Description void
ClauseStore.SignedClause. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropSignedClause. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.nary.cnf
Methods in org.chocosolver.solver.constraints.nary.cnf with parameters of type ValueSortedMap Modifier and Type Method Description void
PropFalse. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropTrue. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.nary.min_max
Methods in org.chocosolver.solver.constraints.nary.min_max with parameters of type ValueSortedMap Modifier and Type Method Description void
PropMax. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropMin. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.nary.sum
Methods in org.chocosolver.solver.constraints.nary.sum with parameters of type ValueSortedMap Modifier and Type Method Description void
PropSum. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
protected void
PropScalar. explainGlobal(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int F, int E)
protected void
PropSum. explainGlobal(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int F, int E)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.reification
Methods in org.chocosolver.solver.constraints.reification with parameters of type ValueSortedMap Modifier and Type Method Description void
PropXeqCReif. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropXeqYCReif. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropXinSReif. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropXltCReif. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropXltYCReif. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.ternary
Methods in org.chocosolver.solver.constraints.ternary with parameters of type ValueSortedMap Modifier and Type Method Description void
PropXplusYeqZ. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.constraints.unary
Methods in org.chocosolver.solver.constraints.unary with parameters of type ValueSortedMap Modifier and Type Method Description void
PropEqualXC. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropGreaterOrEqualXC. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropLessOrEqualXC. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropMember. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropNotEqualXC. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
PropNotMember. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.learn
Methods in org.chocosolver.solver.learn that return ValueSortedMap Modifier and Type Method Description ValueSortedMap<IntVar>
ExplanationForSignedClause. getFront()
Methods in org.chocosolver.solver.learn with parameters of type ValueSortedMap Modifier and Type Method Description abstract void
Implications. collectNodesFromConflict(ContradictionException conflict, ValueSortedMap<IntVar> front)
Fill set with indices of nodes that throws the conflictvoid
LazyImplications. collectNodesFromConflict(ContradictionException cft, ValueSortedMap<IntVar> front)
abstract void
Implications. findPredecessor(ValueSortedMap<IntVar> front, IntVar vi, int p)
Find the direct predecessor of a node, declared on variable vi, starting from node at position p.void
LazyImplications. findPredecessor(ValueSortedMap<IntVar> front, IntVar vi, int p)
Find the direct predecessor of a node, declared on variable vi, starting from node at position p.abstract void
Implications. predecessorsOf(int p, ValueSortedMap<IntVar> front)
Retrieve the nodes that are predecessors of node p in this and put them into set.void
LazyImplications. predecessorsOf(int p, ValueSortedMap<IntVar> front)
-
Uses of ValueSortedMap in org.chocosolver.solver.search.strategy.decision
Methods in org.chocosolver.solver.search.strategy.decision with parameters of type ValueSortedMap Modifier and Type Method Description void
IntDecision. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of ValueSortedMap in org.chocosolver.solver.variables.view
Methods in org.chocosolver.solver.variables.view with parameters of type ValueSortedMap Modifier and Type Method Description void
BoolNotView. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
EqView. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
default void
IView. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
LeqView. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
void
RealView. explain(ExplanationForSignedClause clause, ValueSortedMap<IntVar> front, Implications ig, int p)
-