public final class SearchOptimizerListener extends SearchListenerAdapter<IPBSolverService>
Constructor and Description |
---|
SearchOptimizerListener(SolutionFoundListener sfl) |
Modifier and Type | Method and Description |
---|---|
void |
end(Lbool result) |
void |
init(IPBSolverService solverService) |
void |
solutionFound(int[] model,
RandomAccessModel lazyModel) |
String |
toString() |
adding, assuming, backjump, backtracking, beginLoop, cleaning, conflictFound, conflictFound, delete, learn, propagating, restarting, start
public SearchOptimizerListener(SolutionFoundListener sfl)
public void init(IPBSolverService solverService)
init
in interface SearchListener<IPBSolverService>
init
in class SearchListenerAdapter<IPBSolverService>
public void solutionFound(int[] model, RandomAccessModel lazyModel)
solutionFound
in interface SearchListener<IPBSolverService>
solutionFound
in class SearchListenerAdapter<IPBSolverService>
public void end(Lbool result)
end
in interface SearchListener<IPBSolverService>
end
in class SearchListenerAdapter<IPBSolverService>
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.