org.sat4j.tools

Class AbstractMinimalModel

java.lang.Object

org.sat4j.tools.SolverDecorator<ISolver>

org.sat4j.tools.AbstractMinimalModel

All Implemented Interfaces:

Serializable, IProblem, ISolver, RandomAccessModel

Direct Known Subclasses:

Minimal4CardinalityModel, Minimal4InclusionModel

public class AbstractMinimalModel
extends SolverDecorator<ISolver>

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected SolutionFoundListener	modelListener
protected SortedSet<Integer>	pLiterals

Constructor Summary

Constructors

Constructor and Description
AbstractMinimalModel(ISolver solver)
AbstractMinimalModel(ISolver solver, IVecInt p)
AbstractMinimalModel(ISolver solver, IVecInt p, SolutionFoundListener modelListener)
AbstractMinimalModel(ISolver solver, SolutionFoundListener modelListener)

Method Summary

Methods

Modifier and Type	Method and Description
static IVecInt	negativeLiterals(ISolver solver)
static IVecInt	positiveLiterals(ISolver solver)

Methods inherited from class org.sat4j.tools.SolverDecorator

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addExactly, clearDecorated, clearLearntClauses, decorated, expireTimeout, findModel, findModel, getLogPrefix, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, isSolverKeptHot, isVerbose, model, model, modelWithInternalVariables, nConstraints, newVar, newVar, nextFreeVarId, nVars, primeImplicant, primeImplicant, printInfos, printInfos, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseProvider, setVerbose, toString, toString, unsatExplanation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

pLiterals

protected final SortedSet<Integer> pLiterals

modelListener

protected final SolutionFoundListener modelListener

Constructor Detail

AbstractMinimalModel

public AbstractMinimalModel(ISolver solver)

AbstractMinimalModel

public AbstractMinimalModel(ISolver solver,
                    IVecInt p)

AbstractMinimalModel

public AbstractMinimalModel(ISolver solver,
                    SolutionFoundListener modelListener)

AbstractMinimalModel

public AbstractMinimalModel(ISolver solver,
                    IVecInt p,
                    SolutionFoundListener modelListener)

Method Detail

positiveLiterals

public static IVecInt positiveLiterals(ISolver solver)

negativeLiterals

public static IVecInt negativeLiterals(ISolver solver)