S
- a solver servicepublic class RupSearchListener<S extends ISolverService> extends SearchListenerAdapter<S>
Constructor and Description |
---|
RupSearchListener(String filename) |
Modifier and Type | Method and Description |
---|---|
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 |
learnUnit(int p)
learn a new unit clause (a literal)
|
adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, propagating, restarting, solutionFound, start
public RupSearchListener(String filename)
public void init(S solverService)
SearchListener
init
in interface SearchListener<S extends ISolverService>
init
in class SearchListenerAdapter<S extends ISolverService>
solverService
- a way to safely control the solver.public void end(Lbool result)
SearchListener
end
in interface SearchListener<S extends ISolverService>
end
in class SearchListenerAdapter<S extends ISolverService>
result
- the result of the search.public void learn(IConstr c)
SearchListener
learn
in interface SearchListener<S extends ISolverService>
learn
in class SearchListenerAdapter<S extends ISolverService>
public void learnUnit(int p)
SearchListener
learnUnit
in interface SearchListener<S extends ISolverService>
learnUnit
in class SearchListenerAdapter<S extends ISolverService>
p
- a literal in Dimacs format.Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.