public interface SolutionFoundListener
Modifier and Type | Field and Description |
---|---|
static SolutionFoundListener |
VOID |
Modifier and Type | Method and Description |
---|---|
void |
onSolutionFound(int[] solution)
Callback method called when a new solution is found.
|
void |
onSolutionFound(IVecInt solution)
Callback method called when a new solution is found.
|
void |
onUnsatTermination()
Callback method called when the search is finished (either unsat problem
or no more solutions found)
|
static final SolutionFoundListener VOID
void onSolutionFound(int[] solution)
solution
- a set of Dimacs literals.void onSolutionFound(IVecInt solution)
solution
- a set of Dimacs literals.void onUnsatTermination()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.