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

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

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

H

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.UnitWeightedClause

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

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.

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

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

setTopWeight(BigInteger) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

size() - Method in class org.sat4j.maxsat.UnitWeightedClause

SolverFactory - Class in org.sat4j.maxsat

SolverFactory() - Constructor for class org.sat4j.maxsat.SolverFactory

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

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