public class AllMUSes extends Object
| Constructor and Description |
|---|
AllMUSes(ASolverFactory<? extends ISolver> factory) |
AllMUSes(boolean group,
ASolverFactory<? extends ISolver> factory) |
| Modifier and Type | Method and Description |
|---|---|
List<IVecInt> |
computeAllMSS() |
List<IVecInt> |
computeAllMSS(SolutionFoundListener listener) |
List<IVecInt> |
computeAllMSSOrdered(SolutionFoundListener listener) |
List<IVecInt> |
computeAllMUSes() |
List<IVecInt> |
computeAllMUSes(SolutionFoundListener listener)
Computes all the MUSes associated to the set of constraints added to the
solver
|
List<IVecInt> |
computeAllMUSesOrdered(SolutionFoundListener listener) |
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 List<IVecInt> computeAllMUSes(SolutionFoundListener listener)
solver - the ISolver that contains the set of clausespublic List<IVecInt> computeAllMUSesOrdered(SolutionFoundListener listener)
public List<IVecInt> computeAllMSS(SolutionFoundListener listener)
public List<IVecInt> computeAllMSSOrdered(SolutionFoundListener listener)
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.