Uses of Class
org.sat4j.opt.ObjectiveFunction

Packages that use ObjectiveFunction

org.sat4j	Contain a command line launcher for the SAT solvers.
org.sat4j.minisat.orders	Various heuristics to select the next variable to branch on.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.reader	Some utility classes to read problems from plain text files.

Uses of ObjectiveFunction in org.sat4j

Fields in org.sat4j declared as ObjectiveFunction

protected ObjectiveFunction

LanceurPseudo2005.obfct

Uses of ObjectiveFunction in org.sat4j.minisat.orders

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

void	VarOrderHeapObjective.setObjectiveFunction(ObjectiveFunction obj)

Uses of ObjectiveFunction in org.sat4j.opt

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

void	PseudoOptDecorator.setObjectTiveFunction(ObjectiveFunction objf)

Uses of ObjectiveFunction in org.sat4j.reader

Methods in org.sat4j.reader that return ObjectiveFunction

ObjectiveFunction

OPBReader2005.getObjectiveFunction()