org.sat4j.pb.tools

Class ConflictTracing

java.lang.Object

org.sat4j.tools.SearchListenerAdapter<ISolverService>

org.sat4j.pb.tools.ConflictTracing

All Implemented Interfaces:

java.io.Serializable, SearchListener<ISolverService>

public class ConflictTracing
extends SearchListenerAdapter<ISolverService>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConflictTracing(java.lang.String filename)

Method Summary

Modifier and Type	Method and Description
void	learn(IConstr c) learning a new clause

Methods inherited from class org.sat4j.tools.SearchListenerAdapter

adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, end, init, learnUnit, propagating, restarting, solutionFound, start

Methods inherited from class java.lang.Object

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

Constructor Detail

ConflictTracing

public ConflictTracing(java.lang.String filename)

Method Detail

learn

public void learn(IConstr c)

Description copied from interface: SearchListener

learning a new clause

Specified by:

learn in interface SearchListener<ISolverService>

Overrides:

learn in class SearchListenerAdapter<ISolverService>