Uses of Interface
org.chocosolver.solver.explanations.strategies.ConflictStrategy

Packages that use ConflictStrategy

Package	Description
org.chocosolver.solver.explanations
org.chocosolver.solver.explanations.strategies

Uses of ConflictStrategy in org.chocosolver.solver.explanations

Methods in org.chocosolver.solver.explanations that return ConflictStrategy

Modifier and Type	Method and Description
ConflictStrategy	ExplanationEngine.getCstrat() Return the conflict strategy declared

Methods in org.chocosolver.solver.explanations with parameters of type ConflictStrategy

Modifier and Type	Method and Description
void	ExplanationEngine.setCstrat(ConflictStrategy cstrat) Set the conflict strategy to use

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

Classes in org.chocosolver.solver.explanations.strategies that implement ConflictStrategy

Modifier and Type	Class and Description
class	ConflictBackJumping A conflict-based Back-jumping strategy that relies on an explanation engine.
class	DynamicBackTracking A dynamic backtracking algorithm.