Uses of Class
org.sat4j.pb.ObjectiveFunction

Packages that use ObjectiveFunction

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.pb.multiobjective
org.sat4j.pb.orders	Various heuristics for the next variable to branch on.
org.sat4j.pb.reader	Readers for opb instances.
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers

Uses of ObjectiveFunction in org.sat4j.pb

Fields in org.sat4j.pb declared as ObjectiveFunction

Modifier and Type	Field and Description
protected ObjectiveFunction	LanceurPseudo2005.obfct

Methods in org.sat4j.pb that return ObjectiveFunction

Modifier and Type	Method and Description
ObjectiveFunction	ObjectiveFunction.add(IVecInt otherVars, IVec<BigInteger> otherCoeffs)
ObjectiveFunction	ObjectiveFunction.add(ObjectiveFunction other)
ObjectiveFunction	IPBSolver.getObjectiveFunction() Retrieve the objective function from the solver.
ObjectiveFunction	LPStringSolver.getObjectiveFunction()
ObjectiveFunction	GroupPBSelectorSolver.getObjectiveFunction()
ObjectiveFunction	PBSolverDecorator.getObjectiveFunction()
ObjectiveFunction	OPBStringSolver.getObjectiveFunction()
ObjectiveFunction	UserFriendlyPBStringSolver.getObjectiveFunction()
ObjectiveFunction	IPBSolverService.getObjectiveFunction()
ObjectiveFunction	ObjectiveFunction.multiply(BigInteger fact)
ObjectiveFunction	ObjectiveFunction.negate()

Methods in org.sat4j.pb with parameters of type ObjectiveFunction

Modifier and Type	Method and Description
ObjectiveFunction	ObjectiveFunction.add(ObjectiveFunction other)
void	LPStringSolver.objectiveFunctionToLP(ObjectiveFunction obj, StringBuilder buffer)
void	IPBSolver.setObjectiveFunction(ObjectiveFunction obj) Provide an objective function to the solver.
void	LPStringSolver.setObjectiveFunction(ObjectiveFunction obj)
void	GroupPBSelectorSolver.setObjectiveFunction(ObjectiveFunction obj)
void	PBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj)
void	PseudoOptDecorator.setObjectiveFunction(ObjectiveFunction objf)
void	OPBStringSolver.setObjectiveFunction(ObjectiveFunction obj)
void	UserFriendlyPBStringSolver.setObjectiveFunction(ObjectiveFunction obj)

Constructors in org.sat4j.pb with parameters of type ObjectiveFunction

Constructor and Description
ObjectiveFunctionComparator(ObjectiveFunction objf)

Uses of ObjectiveFunction in org.sat4j.pb.constraints.pb

Methods in org.sat4j.pb.constraints.pb that return ObjectiveFunction

Modifier and Type	Method and Description
static ObjectiveFunction	Pseudos.normalizeObjective(ObjectiveFunction initial)

Methods in org.sat4j.pb.constraints.pb with parameters of type ObjectiveFunction

Modifier and Type	Method and Description
static ObjectiveFunction	Pseudos.normalizeObjective(ObjectiveFunction initial)

Uses of ObjectiveFunction in org.sat4j.pb.core

Methods in org.sat4j.pb.core that return ObjectiveFunction

Modifier and Type	Method and Description
ObjectiveFunction	ObjectiveReducerPBSolverDecorator.getObjectiveFunction()
ObjectiveFunction	PBSolver.getObjectiveFunction()

Methods in org.sat4j.pb.core with parameters of type ObjectiveFunction

Modifier and Type	Method and Description
void	ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj)
void	PBSolver.setObjectiveFunction(ObjectiveFunction obj)

Uses of ObjectiveFunction in org.sat4j.pb.multiobjective

Fields in org.sat4j.pb.multiobjective with type parameters of type ObjectiveFunction

Modifier and Type	Field and Description
protected List<ObjectiveFunction>	AbstractLinMultiObjOptimizer.objs

Methods in org.sat4j.pb.multiobjective that return ObjectiveFunction

Modifier and Type	Method and Description
ObjectiveFunction	SumLeximinDecompositionOWAOptimizer.getObjectiveFunction()

Methods in org.sat4j.pb.multiobjective with parameters of type ObjectiveFunction

Modifier and Type	Method and Description
void	IMultiObjOptimizationProblem.addObjectiveFunction(ObjectiveFunction obj)
void	LeximinDecorator.addObjectiveFunction(ObjectiveFunction obj)
void	AbstractLinMultiObjOptimizer.addObjectiveFunction(ObjectiveFunction obj)
void	SumLeximinDecompositionOWAOptimizer.addObjectiveFunction(ObjectiveFunction obj)
void	CriterionOptimumComputer.addObjectiveFunction(ObjectiveFunction obj)
void	AbstractLinMultiObjOptimizer.setObjectiveFunction(ObjectiveFunction objf)
void	SumLeximinDecompositionOWAOptimizer.setObjectiveFunction(ObjectiveFunction obj)

Method parameters in org.sat4j.pb.multiobjective with type arguments of type ObjectiveFunction

Modifier and Type	Method and Description
void	CriterionOptimumComputer.addObjectiveFunctions(Collection<ObjectiveFunction> objs)

Uses of ObjectiveFunction in org.sat4j.pb.orders

Methods in org.sat4j.pb.orders with parameters of type ObjectiveFunction

Modifier and Type	Method and Description
void	IOrderObjective.setObjectiveFunction(ObjectiveFunction obj)
void	RandomWalkDecoratorObjective.setObjectiveFunction(ObjectiveFunction obj)
void	VarOrderHeapObjective.setObjectiveFunction(ObjectiveFunction obj)
void	LevelBasedVarOrderHeapObjective.setObjectiveFunction(ObjectiveFunction obj)

Uses of ObjectiveFunction in org.sat4j.pb.reader

Methods in org.sat4j.pb.reader that return ObjectiveFunction

Modifier and Type	Method and Description
ObjectiveFunction	OPBReader2005.getObjectiveFunction()
ObjectiveFunction	OPBReader2012.getObjectiveFunction()

Uses of ObjectiveFunction in org.sat4j.pb.tools

Fields in org.sat4j.pb.tools with type parameters of type ObjectiveFunction

Modifier and Type	Field and Description
protected List<ObjectiveFunction>	LexicoDecoratorPB.objs

Methods in org.sat4j.pb.tools that return ObjectiveFunction

Modifier and Type	Method and Description
ObjectiveFunction	PBAdapter.getObjectiveFunction()
ObjectiveFunction	XplainPB.getObjectiveFunction()
ObjectiveFunction	LexicoDecoratorPB.getObjectiveFunction()
ObjectiveFunction	ClausalConstraintsDecorator.getObjectiveFunction()
ObjectiveFunction	ManyCorePB.getObjectiveFunction()

Methods in org.sat4j.pb.tools with parameters of type ObjectiveFunction

Modifier and Type	Method and Description
void	LexicoDecoratorPB.addCriterion(ObjectiveFunction objf)
void	PBAdapter.setObjectiveFunction(ObjectiveFunction obj)
void	XplainPB.setObjectiveFunction(ObjectiveFunction obj)
void	LexicoDecoratorPB.setObjectiveFunction(ObjectiveFunction obj)
void	ClausalConstraintsDecorator.setObjectiveFunction(ObjectiveFunction obj)
void	ManyCorePB.setObjectiveFunction(ObjectiveFunction obj)