org.sat4j.pb.tools
Class ConflictTracing

java.lang.Object
  org.sat4j.pb.tools.ConflictTracing

All Implemented Interfaces:

Serializable, SearchListener

public class ConflictTracing
extends Object
implements SearchListener

See Also:

Serialized Form

Constructor Summary

ConflictTracing(String filename)

Method Summary

void	adding(int p)
void	assuming(int p)
void	backjump(int backjumpLevel)
void	backtracking(int p)
void	beginLoop()
void	conflictFound(IConstr confl, int dlevel, int trailLevel)
void	conflictFound(int p)
void	delete(int[] clause)
void	end(Lbool result)
void	learn(IConstr c)
void	propagating(int p, IConstr reason)
void	restarting()
void	solutionFound()
void	start()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConflictTracing

public ConflictTracing(String filename)

Method Detail

adding

public void adding(int p)

Specified by:

adding in interface SearchListener

assuming

public void assuming(int p)

Specified by:

assuming in interface SearchListener

backjump

public void backjump(int backjumpLevel)

Specified by:

backjump in interface SearchListener

backtracking

public void backtracking(int p)

Specified by:

backtracking in interface SearchListener

beginLoop

public void beginLoop()

Specified by:

beginLoop in interface SearchListener

conflictFound

public void conflictFound(IConstr confl,
                          int dlevel,
                          int trailLevel)

Specified by:

conflictFound in interface SearchListener

conflictFound

public void conflictFound(int p)

Specified by:

conflictFound in interface SearchListener

delete

public void delete(int[] clause)

Specified by:

delete in interface SearchListener

end

public void end(Lbool result)

Specified by:

end in interface SearchListener

learn

public void learn(IConstr c)

Specified by:

learn in interface SearchListener

propagating

public void propagating(int p,
                        IConstr reason)

Specified by:

propagating in interface SearchListener

restarting

public void restarting()

Specified by:

restarting in interface SearchListener

solutionFound

public void solutionFound()

Specified by:

solutionFound in interface SearchListener

start

public void start()

Specified by:

start in interface SearchListener