Uses of Class
org.sat4j.opt.ObjectiveFunction

Packages that use ObjectiveFunction

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