Index (SAT4J maxsat 2.3.4 API)

A C D F G H I L M N O R S T U W

A

addClause(IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Add a soft clause to the solver.
addHardClause(IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Add a hard clause in the solver, i.e. a clause that must be satisfied.
addLiteralsToMinimize(IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Set some literals whose sum must be minimized.
addSoftAtLeast(IVecInt, int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Allow adding a new soft cardinality constraint in the solver.
addSoftAtLeast(int, IVecInt, int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Allow adding a new soft cardinality constraint in the solver.
addSoftAtLeast(BigInteger, IVecInt, int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Allow adding a new soft cardinality constraint in the solver.
addSoftAtMost(IVecInt, int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Allow adding a new soft cardinality constraint in the solver.
addSoftAtMost(int, IVecInt, int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Allow adding a new soft cardinality constraint in the solver.
addSoftAtMost(BigInteger, IVecInt, int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Allow adding a new soft cardinality constraint in the solver.
addSoftClause(IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Add a soft clause in the solver, i.e. a clause with a weight of 1.
addSoftClause(int, IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Add a soft clause to the solver.
addSoftClause(BigInteger, IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator
addWeightedLiteralsToMinimize(IVecInt, IVec<BigInteger>) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Set some literals whose sum must be minimized.
addWeightedLiteralsToMinimize(IVecInt, IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Set some literals whose sum must be minimized.
admitABetterSolution() - Method in class org.sat4j.maxsat.MinCostDecorator
admitABetterSolution(IVecInt) - Method in class org.sat4j.maxsat.MinCostDecorator

C

calculateObjective() - Method in class org.sat4j.maxsat.MinCostDecorator
canBePropagatedMultipleTimes() - Method in class org.sat4j.maxsat.UnitWeightedClause
checkMaxVarId() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator
configureSolver(String[]) - Method in class org.sat4j.maxsat.GenericOptLauncher
costOf(int) - Method in class org.sat4j.maxsat.MinCostDecorator: to know the cost of a given var.
createReader(ISolver, String) - Method in class org.sat4j.maxsat.GenericOptLauncher

D

defaultSolver() - Method in class org.sat4j.maxsat.SolverFactory
discard() - Method in class org.sat4j.maxsat.MinCostDecorator
discardCurrentSolution() - Method in class org.sat4j.maxsat.MinCostDecorator
displayLicense() - Method in class org.sat4j.maxsat.GenericOptLauncher

F

flushConstraint() - Method in class org.sat4j.maxsat.reader.WDimacsReader
forceObjectiveValueTo(Number) - Method in class org.sat4j.maxsat.MinCostDecorator
forceObjectiveValueTo(Number) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Force the solver to find a solution with a specific value (nice to find all optimal solutions for instance).

G

GenericOptLauncher - Class in org.sat4j.maxsat: Generic launcher to be used for solving optimization problems.
GenericOptLauncher() - Constructor for class org.sat4j.maxsat.GenericOptLauncher
get(int) - Method in class org.sat4j.maxsat.UnitWeightedClause
getActivity() - Method in class org.sat4j.maxsat.UnitWeightedClause
getInstanceName(String[]) - Method in class org.sat4j.maxsat.GenericOptLauncher
getObjectiveValue() - Method in class org.sat4j.maxsat.MinCostDecorator
getUnitClauses() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Returns the set of unit clauses added to the solver.

H

handleFileName(String, String) - Method in class org.sat4j.maxsat.reader.MSInstanceReader
handleLine() - Method in class org.sat4j.maxsat.reader.WDimacsReader
hasNoObjectiveFunction() - Method in class org.sat4j.maxsat.MinCostDecorator

I

instance() - Static method in class org.sat4j.maxsat.SolverFactory: Access to the single instance of the factory.
instance() - Static method in class org.sat4j.maxsat.UnitWeightedClause
isNoNewVarForUnitSoftClauses() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Returns true if no new variable should be created when adding a soft unit clause, false otherwise.
isOptimal() - Method in class org.sat4j.maxsat.MinCostDecorator

L

learnt() - Method in class org.sat4j.maxsat.UnitWeightedClause
lightSolver() - Method in class org.sat4j.maxsat.SolverFactory

M

main(String[]) - Static method in class org.sat4j.maxsat.GenericOptLauncher
MinCostDecorator - Class in org.sat4j.maxsat: A decorator that computes minimal cost models.
MinCostDecorator(IPBSolver) - Constructor for class org.sat4j.maxsat.MinCostDecorator
model() - Method in class org.sat4j.maxsat.MinCostDecorator
MSInstanceReader - Class in org.sat4j.maxsat.reader
MSInstanceReader(WeightedMaxSatDecorator) - Constructor for class org.sat4j.maxsat.reader.MSInstanceReader

N

nbnewvar - Variable in class org.sat4j.maxsat.WeightedMaxSatDecorator
newDefault() - Static method in class org.sat4j.maxsat.SolverFactory
newLight() - Static method in class org.sat4j.maxsat.SolverFactory
newMiniMaxSAT() - Static method in class org.sat4j.maxsat.SolverFactory: Builds a SAT solver for the MAX sat evaluation.
newVar() - Method in class org.sat4j.maxsat.MinCostDecorator
newVar(int) - Method in class org.sat4j.maxsat.MinCostDecorator: Setup the number of variables to use inside the solver.
newVar(int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator
nonOptimalMeansSatisfiable() - Method in class org.sat4j.maxsat.MinCostDecorator

O

org.sat4j.maxsat - package org.sat4j.maxsat: MAXSAT and Weighted Max SAT framework.
org.sat4j.maxsat.reader - package org.sat4j.maxsat.reader: Some utility classes to read problems from plain text files.

R

readProblem(String) - Method in class org.sat4j.maxsat.GenericOptLauncher
readProblemLine() - Method in class org.sat4j.maxsat.reader.WDimacsReader
reset() - Method in class org.sat4j.maxsat.MinCostDecorator
reset() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

S

SAT4J_MAX_BIG_INTEGER - Static variable in class org.sat4j.maxsat.WeightedMaxSatDecorator
setCost(int, int) - Method in class org.sat4j.maxsat.MinCostDecorator: to set the cost of a given var.
setExpectedNumberOfClauses(int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator
setNoNewVarForUnitSoftClauses(boolean) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator: Sets whether new variables should be created when adding new clauses.
setTimeoutForFindingBetterSolution(int) - Method in class org.sat4j.maxsat.MinCostDecorator
setTopWeight(BigInteger) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator
size() - Method in class org.sat4j.maxsat.UnitWeightedClause
SolverFactory - Class in org.sat4j.maxsat

T

top - Variable in class org.sat4j.maxsat.reader.WDimacsReader
top - Variable in class org.sat4j.maxsat.WeightedMaxSatDecorator

U

UnitWeightedClause - Class in org.sat4j.maxsat
usage() - Method in class org.sat4j.maxsat.GenericOptLauncher

W

WDimacsReader - Class in org.sat4j.maxsat.reader: Simple reader for the weighted maxsat problem.
WDimacsReader(WeightedMaxSatDecorator) - Constructor for class org.sat4j.maxsat.reader.WDimacsReader
WDimacsReader(WeightedMaxSatDecorator, String) - Constructor for class org.sat4j.maxsat.reader.WDimacsReader
weight - Variable in class org.sat4j.maxsat.reader.WDimacsReader
WeightedMaxSatDecorator - Class in org.sat4j.maxsat: A decorator for solving weighted MAX SAT problems.
WeightedMaxSatDecorator(IPBSolver) - Constructor for class org.sat4j.maxsat.WeightedMaxSatDecorator
WeightedMaxSatDecorator(IPBSolver, boolean) - Constructor for class org.sat4j.maxsat.WeightedMaxSatDecorator

A C D F G H I L M N O R S T U W