Uses of Class
org.chocosolver.solver.learn.Implications
-
-
Uses of Implications in org.chocosolver.solver
Methods in org.chocosolver.solver with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints.binary
-
Uses of Implications in org.chocosolver.solver.constraints.nary.alldifferent
Methods in org.chocosolver.solver.constraints.nary.alldifferent with parameters of type Implications Modifier and Type Method Description void
PropAllDiffInst. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of Implications in org.chocosolver.solver.constraints.nary.clauses
Methods in org.chocosolver.solver.constraints.nary.clauses with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints.nary.cnf
Methods in org.chocosolver.solver.constraints.nary.cnf with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints.nary.min_max
Methods in org.chocosolver.solver.constraints.nary.min_max with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints.nary.sum
Methods in org.chocosolver.solver.constraints.nary.sum with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints.reification
Methods in org.chocosolver.solver.constraints.reification with parameters of type Implications 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 Implications in org.chocosolver.solver.constraints.ternary
Methods in org.chocosolver.solver.constraints.ternary with parameters of type Implications Modifier and Type Method Description void
PropXplusYeqZ. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of Implications in org.chocosolver.solver.constraints.unary
Methods in org.chocosolver.solver.constraints.unary with parameters of type Implications 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 Implications in org.chocosolver.solver.learn
Subclasses of Implications in org.chocosolver.solver.learn Modifier and Type Class Description class
LazyImplications
This implication graph is lazily built.Methods in org.chocosolver.solver.learn that return types with arguments of type Implications Modifier and Type Method Description Optional<Implications>
AbstractEventObserver. getGI()
Optional<Implications>
EventRecorder. getGI()
Constructors in org.chocosolver.solver.learn with parameters of type Implications Constructor Description ExplanationForSignedClause(Implications ig)
-
Uses of Implications in org.chocosolver.solver.search.strategy.decision
Methods in org.chocosolver.solver.search.strategy.decision with parameters of type Implications Modifier and Type Method Description void
IntDecision. explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
-
Uses of Implications in org.chocosolver.solver.variables.view
Methods in org.chocosolver.solver.variables.view with parameters of type Implications 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)
-