Uses of Class
org.chocosolver.solver.explanations.ExplanationEngine

Packages that use ExplanationEngine

Package	Description
org.chocosolver.solver	A package devoted to Solver and resolution tools.
org.chocosolver.solver.explanations.strategies
org.chocosolver.solver.search.loop.lns.neighbors

Uses of ExplanationEngine in org.chocosolver.solver

Methods in org.chocosolver.solver that return ExplanationEngine

Modifier and Type	Method and Description
ExplanationEngine	Solver.getExplainer() Return the explanation engine plugged into this.

Methods in org.chocosolver.solver with parameters of type ExplanationEngine

Modifier and Type	Method and Description
void	Solver.set(ExplanationEngine explainer) Override the explanation engine.

Uses of ExplanationEngine in org.chocosolver.solver.explanations.strategies

Constructors in org.chocosolver.solver.explanations.strategies with parameters of type ExplanationEngine

Constructor and Description
ConflictBackJumping(ExplanationEngine mExplainer, Solver mSolver, boolean nogoodFromConflict)
DynamicBackTracking(ExplanationEngine mExplainer, Solver mSolver, boolean nogoodFromConflict)

Uses of ExplanationEngine in org.chocosolver.solver.search.loop.lns.neighbors

Fields in org.chocosolver.solver.search.loop.lns.neighbors declared as ExplanationEngine

Modifier and Type	Field and Description
protected ExplanationEngine	ExplainingCut.mExplanationEngine