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

A

addClause(IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

Add a set of literals 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.

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

admitABetterSolution() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

admitABetterSolution(IVecInt) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

C

calculateObjective() - Method in class org.sat4j.maxsat.MinCostDecorator

calculateObjective() - 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

discard() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

discardCurrentSolution() - Method in class org.sat4j.maxsat.MinCostDecorator

discardCurrentSolution() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

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

getInstanceName(String[]) - Method in class org.sat4j.maxsat.GenericOptLauncher

getObjectiveValue() - Method in class org.sat4j.maxsat.MinCostDecorator

getObjectiveValue() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

H

handleLine() - Method in class org.sat4j.maxsat.reader.WDimacsReader

hasNoObjectiveFunction() - Method in class org.sat4j.maxsat.MinCostDecorator

hasNoObjectiveFunction() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

L

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

model() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

model(int) - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

N

nbnewvar - Variable in class org.sat4j.maxsat.WeightedMaxSatDecorator

nborigvars - 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

nonOptimalMeansSatisfiable() - Method in class org.sat4j.maxsat.WeightedMaxSatDecorator

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.

P

prevboolmodel - Variable in class org.sat4j.maxsat.WeightedMaxSatDecorator

prevfullmodel - Variable in class org.sat4j.maxsat.WeightedMaxSatDecorator

prevmodel - Variable in class org.sat4j.maxsat.WeightedMaxSatDecorator

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

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

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 L M N O P R S T U W