org.sat4j.minisat.core
Interface SearchListener

All Superinterfaces:
java.io.Serializable
All Known Implementing Classes:
DotSearchListener, TextOutputListener

public interface SearchListener
extends java.io.Serializable


Method Summary
 void adding(int p)
          adding forced variable (conflict driven assignment)
 void assuming(int p)
          decision variable
 void backtracking(int p)
          backtrack on a decision variable
 void beginLoop()
          starts a propagation
 void conflictFound()
          a conflict has been found.
 void delete(int[] clause)
          delete a clause
 void end(Lbool result)
          End the search.
 void learn(Constr c)
          learning a new clause
 void propagating(int p)
          Unit propagation
 void solutionFound()
          a solution is found.
 void start()
          Start the search.
 

Method Detail

assuming

void assuming(int p)
decision variable

Parameters:
p -

propagating

void propagating(int p)
Unit propagation

Parameters:
p -

backtracking

void backtracking(int p)
backtrack on a decision variable

Parameters:
p -

adding

void adding(int p)
adding forced variable (conflict driven assignment)


learn

void learn(Constr c)
learning a new clause

Parameters:
c -

delete

void delete(int[] clause)
delete a clause


conflictFound

void conflictFound()
a conflict has been found.


solutionFound

void solutionFound()
a solution is found.


beginLoop

void beginLoop()
starts a propagation


start

void start()
Start the search.


end

void end(Lbool result)
End the search.

Parameters:
result - the result of the search.