public class ConflictBackJumping extends Object implements IMonitorContradiction, IMonitorSolution, ConflictStrategy
Created by cprudhom on 11/12/14. Project: choco.
Constructor and Description |
---|
ConflictBackJumping(ExplanationEngine mExplainer,
Solver mSolver,
boolean nogoodFromConflict) |
Modifier and Type | Method and Description |
---|---|
Explanation |
getLastExplanation()
Return the explanation of the last conflict
|
void |
onContradiction(ContradictionException cex) |
void |
onSolution() |
public ConflictBackJumping(ExplanationEngine mExplainer, Solver mSolver, boolean nogoodFromConflict)
public void onContradiction(ContradictionException cex)
onContradiction
in interface IMonitorContradiction
public void onSolution()
onSolution
in interface IMonitorSolution
public Explanation getLastExplanation()
Copyright © 2015. All rights reserved.