|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.tools.MultiTracing
public class MultiTracing
Allow to feed the solver with several SearchListener.
Constructor Summary | |
---|---|
MultiTracing(List<SearchListener> listenersList)
|
|
MultiTracing(SearchListener... listeners)
|
Method Summary | |
---|---|
void |
adding(int p)
adding forced variable (conflict driven assignment) |
void |
assuming(int p)
decision variable |
void |
backjump(int backjumpLevel)
The solver is asked to backjump to a given decision level. |
void |
backtracking(int p)
backtrack on a decision variable |
void |
beginLoop()
starts a propagation |
void |
cleaning()
The solver is going to delete some learned clauses. |
void |
conflictFound(IConstr confl,
int dlevel,
int trailLevel)
a conflict has been found. |
void |
conflictFound(int p)
a conflict has been found while propagating values. |
void |
delete(int[] clause)
delete a clause |
void |
end(Lbool result)
End the search. |
void |
init(ISolverService solverService)
Provide access to the solver's controllable interface. |
void |
learn(IConstr c)
learning a new clause |
void |
propagating(int p,
IConstr reason)
Unit propagation |
void |
restarting()
The solver restarts the search. |
void |
solutionFound(int[] model)
a solution is found. |
void |
start()
Start the search. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MultiTracing(SearchListener... listeners)
public MultiTracing(List<SearchListener> listenersList)
Method Detail |
---|
public void assuming(int p)
SearchListener
assuming
in interface SearchListener
public void propagating(int p, IConstr reason)
SearchListener
propagating
in interface SearchListener
reason
- TODOpublic void backtracking(int p)
SearchListener
backtracking
in interface SearchListener
public void adding(int p)
SearchListener
adding
in interface SearchListener
public void learn(IConstr c)
SearchListener
learn
in interface SearchListener
public void delete(int[] clause)
SearchListener
delete
in interface SearchListener
public void conflictFound(IConstr confl, int dlevel, int trailLevel)
SearchListener
conflictFound
in interface SearchListener
confl
- TODOdlevel
- TODOtrailLevel
- TODOpublic void conflictFound(int p)
SearchListener
conflictFound
in interface SearchListener
p
- the conflicting value.public void solutionFound(int[] model)
SearchListener
solutionFound
in interface SearchListener
model
- the model foundpublic 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.public void restarting()
SearchListener
restarting
in interface SearchListener
public void backjump(int backjumpLevel)
SearchListener
backjump
in interface SearchListener
public void init(ISolverService solverService)
SearchListener
init
in interface SearchListener
solverService
- a way to safely control the solver.public void cleaning()
SearchListener
cleaning
in interface SearchListener
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |