Uses of Class
org.sat4j.pb.ObjectiveFunction

Packages that use ObjectiveFunction

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

protected ObjectiveFunction

LanceurPseudo2005.obfct

Methods in org.sat4j.pb that return ObjectiveFunction

ObjectiveFunction	UserFriendlyPBStringSolver.getObjectiveFunction()
ObjectiveFunction	PseudoBitsAdderDecorator.getObjectiveFunction()
ObjectiveFunction	PBSolverDecorator.getObjectiveFunction()
ObjectiveFunction	OPBStringSolver.getObjectiveFunction()
ObjectiveFunction	LPStringSolver.getObjectiveFunction()
ObjectiveFunction	IPBSolver.getObjectiveFunction() Retrieve the objective function from the solver.

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

void	LPStringSolver.objectiveFunctionToLP(ObjectiveFunction obj, StringBuffer buffer)
void	UserFriendlyPBStringSolver.setObjectiveFunction(ObjectiveFunction obj)
void	PseudoOptDecorator.setObjectiveFunction(ObjectiveFunction objf)
void	PseudoBitsAdderDecorator.setObjectiveFunction(ObjectiveFunction objf)
void	PBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj)
void	OPBStringSolver.setObjectiveFunction(ObjectiveFunction obj)
void	LPStringSolver.setObjectiveFunction(ObjectiveFunction obj)
void	IPBSolver.setObjectiveFunction(ObjectiveFunction obj) Provide an objective function to the solver.

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

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

static ObjectiveFunction

Pseudos.normalizeObjective(ObjectiveFunction initial)

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

static ObjectiveFunction

Pseudos.normalizeObjective(ObjectiveFunction initial)

Uses of ObjectiveFunction in org.sat4j.pb.core

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

ObjectiveFunction

PBSolver.getObjectiveFunction()

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

void	PBSolver.setObjectiveFunction(ObjectiveFunction obj)

Uses of ObjectiveFunction in org.sat4j.pb.orders

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

void	VarOrderHeapObjective.setObjectiveFunction(ObjectiveFunction obj)
void	RandomWalkDecoratorObjective.setObjectiveFunction(ObjectiveFunction obj)
void	IOrderObjective.setObjectiveFunction(ObjectiveFunction obj)

Uses of ObjectiveFunction in org.sat4j.pb.reader

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

ObjectiveFunction

OPBReader2005.getObjectiveFunction()

Uses of ObjectiveFunction in org.sat4j.pb.tools

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

ObjectiveFunction	XplainPB.getObjectiveFunction()
ObjectiveFunction	ManyCorePB.getObjectiveFunction()
ObjectiveFunction	LexicoDecoratorPB.getObjectiveFunction()
ObjectiveFunction	ClausalConstraintsDecorator.getObjectiveFunction()

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

void	XplainPB.setObjectiveFunction(ObjectiveFunction obj)
void	ManyCorePB.setObjectiveFunction(ObjectiveFunction obj)
void	LexicoDecoratorPB.setObjectiveFunction(ObjectiveFunction obj)
void	ClausalConstraintsDecorator.setObjectiveFunction(ObjectiveFunction obj)