|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.minisat.core.TextOutputListener
public class TextOutputListener
Constructor Summary | |
---|---|
TextOutputListener()
|
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 clause)
learning a new clause |
void |
propagating(int p)
Unit propagation |
void |
solutionFound()
a solution is found. |
void |
start()
Start the search. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TextOutputListener()
Method Detail |
---|
public void assuming(int p)
SearchListener
assuming
in interface SearchListener
public void propagating(int p)
SearchListener
propagating
in interface SearchListener
public void backtracking(int p)
SearchListener
backtracking
in interface SearchListener
public void adding(int p)
SearchListener
adding
in interface SearchListener
public void learn(Constr clause)
SearchListener
learn
in interface SearchListener
public void delete(int[] clause)
SearchListener
delete
in interface SearchListener
public void conflictFound()
SearchListener
conflictFound
in interface SearchListener
public void solutionFound()
SearchListener
solutionFound
in interface SearchListener
public void beginLoop()
SearchListener
beginLoop
in interface SearchListener
public void start()
SearchListener
start
in interface SearchListener
public void end(Lbool result)
SearchListener
end
in interface SearchListener
result
- the result of the search.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |