A B C D E G H I L M N O P R S T U V W

O

ObjectiveFunction - Class in org.sat4j.pb

Abstraction for an Objective Function for Pseudo Boolean Optimization.

ObjectiveFunction(IVecInt, IVec<BigInteger>) - Constructor for class org.sat4j.pb.ObjectiveFunction

oldGetBacktrackLevel(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap

oldIsAssertive(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap

OPBEclipseReader2007 - Class in org.sat4j.pb.reader

OPBEclipseReader2007(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBEclipseReader2007

OPBReader2005 - Class in org.sat4j.pb.reader

Based on the "Official" reader for the Pseudo Boolean evaluation 2005.

OPBReader2005(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2005

OPBReader2006 - Class in org.sat4j.pb.reader

Reader complying to the PB06 input format.

OPBReader2006(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2006

OPBReader2007 - Class in org.sat4j.pb.reader

Reader complying with the PB07 input format.

OPBReader2007(IPBSolver) - Constructor for class org.sat4j.pb.reader.OPBReader2007

OptToPBSATAdapter - Class in org.sat4j.pb

Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.

OptToPBSATAdapter(IOptimizationProblem) - Constructor for class org.sat4j.pb.OptToPBSATAdapter

org.sat4j.pb - package org.sat4j.pb

org.sat4j.pb.constraints - package org.sat4j.pb.constraints

org.sat4j.pb.constraints.pb - package org.sat4j.pb.constraints.pb

Implementations of pseudo boolean contraints.

org.sat4j.pb.core - package org.sat4j.pb.core

org.sat4j.pb.orders - package org.sat4j.pb.orders

org.sat4j.pb.reader - package org.sat4j.pb.reader