org.sat4j.minisat.core
Interface SearchListener

All Known Implementing Classes:

TextOutputListener

public interface SearchListener

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	learn(Constr c) learning a new clause
void	propagating(int p) Unit propagation
void	solutionFound() a solution is found.

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