public class ConflictTracing extends SearchListenerAdapter<ISolverService>
Constructor and Description |
---|
ConflictTracing(java.lang.String filename) |
Modifier and Type | Method and Description |
---|---|
void |
learn(IConstr c)
learning a new clause
|
adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, end, init, learnUnit, propagating, restarting, solutionFound, start
public void learn(IConstr c)
SearchListener
learn
in interface SearchListener<ISolverService>
learn
in class SearchListenerAdapter<ISolverService>