public class AllMUSes
extends java.lang.Object
Constructor and Description |
---|
AllMUSes(ASolverFactory<? extends ISolver> factory) |
AllMUSes(boolean group,
ASolverFactory<? extends ISolver> factory) |
Modifier and Type | Method and Description |
---|---|
java.util.List<IVecInt> |
computeAllMSS() |
java.util.List<IVecInt> |
computeAllMSS(SolutionFoundListener listener) |
java.util.List<IVecInt> |
computeAllMSSOrdered(SolutionFoundListener listener) |
java.util.List<IVecInt> |
computeAllMUSes() |
java.util.List<IVecInt> |
computeAllMUSes(SolutionFoundListener listener)
Computes all the MUSes associated to the set of constraints added to the
solver
|
java.util.List<IVecInt> |
computeAllMUSesOrdered(SolutionFoundListener listener) |
java.util.List<IVecInt> |
getMssList() |
<T extends ISolver> |
getSolverInstance()
Gets an instance of ISolver that can be used to compute all MUSes
|
public AllMUSes(boolean group, ASolverFactory<? extends ISolver> factory)
public AllMUSes(ASolverFactory<? extends ISolver> factory)
public <T extends ISolver> T getSolverInstance()
public java.util.List<IVecInt> computeAllMUSes()
public java.util.List<IVecInt> computeAllMUSes(SolutionFoundListener listener)
solver
- the ISolver
that contains the set of clausespublic java.util.List<IVecInt> computeAllMUSesOrdered(SolutionFoundListener listener)
public java.util.List<IVecInt> computeAllMSS()
public java.util.List<IVecInt> computeAllMSS(SolutionFoundListener listener)
public java.util.List<IVecInt> computeAllMSSOrdered(SolutionFoundListener listener)
public java.util.List<IVecInt> getMssList()