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

N

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