org.chocosolver.solver.explanations.strategies

Class ConflictBackJumping

java.lang.Object

org.chocosolver.solver.explanations.strategies.ConflictBackJumping

All Implemented Interfaces:

Serializable, ConflictStrategy, IMonitorContradiction, IMonitorSolution, ISearchMonitor

Direct Known Subclasses:

DynamicBackTracking

public class ConflictBackJumping
extends Object
implements IMonitorContradiction, IMonitorSolution, ConflictStrategy

A conflict-based Back-jumping strategy that relies on an explanation engine.

Created by cprudhom on 11/12/14. Project: choco.

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
Explanation	getLastExplanation() Return the explanation of the last conflict
void	onContradiction(ContradictionException cex)
void	onSolution()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConflictBackJumping

public ConflictBackJumping(ExplanationEngine mExplainer,
                   Solver mSolver,
                   boolean nogoodFromConflict)

Method Detail

onContradiction

public void onContradiction(ContradictionException cex)

Specified by:

onContradiction in interface IMonitorContradiction

onSolution

public void onSolution()

Specified by:

onSolution in interface IMonitorSolution

getLastExplanation

public Explanation getLastExplanation()

Return the explanation of the last conflict

Returns:

an explanation