|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.minisat.core.DotSearchListener
public class DotSearchListener
Constructor Summary | |
---|---|
DotSearchListener(java.lang.String fileNameToSave)
|
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 DotSearchListener(java.lang.String fileNameToSave)
Method Detail |
---|
public final void assuming(int p)
SearchListener
assuming
in interface SearchListener
public final void propagating(int p)
SearchListener
propagating
in interface SearchListener
public final void backtracking(int p)
SearchListener
backtracking
in interface SearchListener
public final void adding(int p)
SearchListener
adding
in interface SearchListener
public final void learn(Constr clause)
SearchListener
learn
in interface SearchListener
public final void delete(int[] clause)
SearchListener
delete
in interface SearchListener
public final void conflictFound()
SearchListener
conflictFound
in interface SearchListener
public final void solutionFound()
SearchListener
solutionFound
in interface SearchListener
public final void beginLoop()
SearchListener
beginLoop
in interface SearchListener
public final void start()
SearchListener
start
in interface SearchListener
public final 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 |