public class ConflictTracing extends SearchListenerAdapter<ISolverService>
Constructor and Description |
---|
ConflictTracing(String filename) |
Modifier and Type | Method and Description |
---|---|
void |
learn(IConstr c) |
adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, end, init, propagating, restarting, solutionFound, start
public ConflictTracing(String filename)
public void learn(IConstr c)
learn
in interface SearchListener<ISolverService>
learn
in class SearchListenerAdapter<ISolverService>
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.