|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.tools.SearchListenerAdapter<S>
public abstract class SearchListenerAdapter<S extends ISolverService>
Constructor Summary | |
---|---|
SearchListenerAdapter()
|
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(S 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 SearchListenerAdapter()
Method Detail |
---|
public void init(S solverService)
SearchListener
init
in interface SearchListener<S extends ISolverService>
solverService
- a way to safely control the solver.public void assuming(int p)
SearchListener
assuming
in interface SearchListener<S extends ISolverService>
public void propagating(int p, IConstr reason)
SearchListener
propagating
in interface SearchListener<S extends ISolverService>
reason
- TODOpublic void backtracking(int p)
SearchListener
backtracking
in interface SearchListener<S extends ISolverService>
public void adding(int p)
SearchListener
adding
in interface SearchListener<S extends ISolverService>
public void learn(IConstr c)
SearchListener
learn
in interface SearchListener<S extends ISolverService>
public void delete(int[] clause)
SearchListener
delete
in interface SearchListener<S extends ISolverService>
public void conflictFound(IConstr confl, int dlevel, int trailLevel)
SearchListener
conflictFound
in interface SearchListener<S extends ISolverService>
confl
- TODOdlevel
- TODOtrailLevel
- TODOpublic void conflictFound(int p)
SearchListener
conflictFound
in interface SearchListener<S extends ISolverService>
p
- the conflicting value.public void solutionFound(int[] model)
SearchListener
solutionFound
in interface SearchListener<S extends ISolverService>
model
- the model foundpublic void beginLoop()
SearchListener
beginLoop
in interface SearchListener<S extends ISolverService>
public void start()
SearchListener
start
in interface SearchListener<S extends ISolverService>
public void end(Lbool result)
SearchListener
end
in interface SearchListener<S extends ISolverService>
result
- the result of the search.public void restarting()
SearchListener
restarting
in interface SearchListener<S extends ISolverService>
public void backjump(int backjumpLevel)
SearchListener
backjump
in interface SearchListener<S extends ISolverService>
public void cleaning()
SearchListener
cleaning
in interface SearchListener<S extends ISolverService>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |