public class CheckMUSSolutionListener extends Object implements SolutionFoundListener
VOID
Constructor and Description |
---|
CheckMUSSolutionListener(ASolverFactory<? extends ISolver> factory) |
Modifier and Type | Method and Description |
---|---|
void |
addOriginalClause(IVecInt clause) |
boolean |
checkThatItIsAMUS(IVecInt mus) |
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)
|
public CheckMUSSolutionListener(ASolverFactory<? extends ISolver> factory)
public void addOriginalClause(IVecInt clause)
public boolean checkThatItIsAMUS(IVecInt mus)
mus
- containing the clauses identifiersclauses
- the original set of clausespublic void onSolutionFound(int[] solution)
SolutionFoundListener
onSolutionFound
in interface SolutionFoundListener
solution
- a set of Dimacs literals.public void onSolutionFound(IVecInt solution)
SolutionFoundListener
onSolutionFound
in interface SolutionFoundListener
solution
- a set of Dimacs literals.public void onUnsatTermination()
SolutionFoundListener
onUnsatTermination
in interface SolutionFoundListener
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.