Package | Description |
---|---|
org.sat4j | |
org.sat4j.pb | |
org.sat4j.pb.tools | |
org.sat4j.tools |
Modifier and Type | Interface and Description |
---|---|
interface |
ILauncherMode
Allow to change the behavior of the launcher (either decision or optimization
mode)
|
Modifier and Type | Method and Description |
---|---|
void |
OptToPBSATAdapter.setSolutionFoundListener(SolutionFoundListener sfl) |
Constructor and Description |
---|
OptToPBSATAdapter(IOptimizationProblem problem,
SolutionFoundListener sfl) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLexicoHelper<T,C> |
class |
LexicoHelper<T,C> |
class |
SteppedTimeoutLexicoHelper<T,C> |
Constructor and Description |
---|
SearchOptimizerListener(SolutionFoundListener sfl) |
Modifier and Type | Class and Description |
---|---|
class |
CheckMUSSolutionListener |
Modifier and Type | Field and Description |
---|---|
protected SolutionFoundListener |
AbstractMinimalModel.modelListener |
static SolutionFoundListener |
SolutionFoundListener.VOID |
Modifier and Type | Method and Description |
---|---|
java.util.List<IVecInt> |
AllMUSes.computeAllMSS(SolutionFoundListener listener) |
java.util.List<IVecInt> |
AllMUSes.computeAllMSSOrdered(SolutionFoundListener listener) |
java.util.List<IVecInt> |
AllMUSes.computeAllMUSes(SolutionFoundListener listener)
Computes all the MUSes associated to the set of constraints added to the
solver
|
java.util.List<IVecInt> |
AllMUSes.computeAllMUSesOrdered(SolutionFoundListener listener) |
Constructor and Description |
---|
AbstractMinimalModel(ISolver solver,
IVecInt p,
SolutionFoundListener modelListener) |
AbstractMinimalModel(ISolver solver,
SolutionFoundListener modelListener) |
Minimal4CardinalityModel(ISolver solver,
IVecInt p,
SolutionFoundListener modelListener) |
Minimal4CardinalityModel(ISolver solver,
SolutionFoundListener modelListener) |
Minimal4InclusionModel(ISolver solver,
IVecInt p,
SolutionFoundListener modelListener) |
ModelIteratorToSATAdapter(ISolver solver,
long bound,
SolutionFoundListener sfl) |
ModelIteratorToSATAdapter(ISolver solver,
SolutionFoundListener sfl) |
OptToSatAdapter(IOptimizationProblem problem,
SolutionFoundListener sfl) |
SearchEnumeratorListener(SolutionFoundListener sfl) |
SearchMinOneListener(SolutionFoundListener sfl) |