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.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
|
Modifier and Type | Field and Description |
---|---|
protected ObjectiveFunction |
LanceurPseudo2005.obfct |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
IPBSolverService.getObjectiveFunction() |
ObjectiveFunction |
PseudoBitsAdderDecorator.getObjectiveFunction() |
ObjectiveFunction |
IPBSolver.getObjectiveFunction()
Retrieve the objective function from the solver.
|
ObjectiveFunction |
UserFriendlyPBStringSolver.getObjectiveFunction() |
ObjectiveFunction |
LPStringSolver.getObjectiveFunction() |
ObjectiveFunction |
PBSolverDecorator.getObjectiveFunction() |
ObjectiveFunction |
OPBStringSolver.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
void |
LPStringSolver.objectiveFunctionToLP(ObjectiveFunction obj,
StringBuffer buffer) |
void |
PseudoOptDecorator.setObjectiveFunction(ObjectiveFunction objf) |
void |
PseudoBitsAdderDecorator.setObjectiveFunction(ObjectiveFunction objf) |
void |
IPBSolver.setObjectiveFunction(ObjectiveFunction obj)
Provide an objective function to the solver.
|
void |
UserFriendlyPBStringSolver.setObjectiveFunction(ObjectiveFunction obj) |
void |
LPStringSolver.setObjectiveFunction(ObjectiveFunction obj) |
void |
PBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj) |
void |
OPBStringSolver.setObjectiveFunction(ObjectiveFunction obj) |
Modifier and Type | Method and Description |
---|---|
static ObjectiveFunction |
Pseudos.normalizeObjective(ObjectiveFunction initial) |
Modifier and Type | Method and Description |
---|---|
static ObjectiveFunction |
Pseudos.normalizeObjective(ObjectiveFunction initial) |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
PBSolver.getObjectiveFunction() |
ObjectiveFunction |
ObjectiveReducerPBSolverDecorator.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
void |
PBSolver.setObjectiveFunction(ObjectiveFunction obj) |
void |
ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj) |
Modifier and Type | Method and Description |
---|---|
void |
VarOrderHeapObjective.setObjectiveFunction(ObjectiveFunction obj) |
void |
RandomWalkDecoratorObjective.setObjectiveFunction(ObjectiveFunction obj) |
void |
IOrderObjective.setObjectiveFunction(ObjectiveFunction obj) |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
OPBReader2005.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
PBAdapter.getObjectiveFunction() |
ObjectiveFunction |
ClausalConstraintsDecorator.getObjectiveFunction() |
ObjectiveFunction |
XplainPB.getObjectiveFunction() |
ObjectiveFunction |
ManyCorePB.getObjectiveFunction() |
ObjectiveFunction |
LexicoDecoratorPB.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
void |
PBAdapter.setObjectiveFunction(ObjectiveFunction obj) |
void |
ClausalConstraintsDecorator.setObjectiveFunction(ObjectiveFunction obj) |
void |
XplainPB.setObjectiveFunction(ObjectiveFunction obj) |
void |
ManyCorePB.setObjectiveFunction(ObjectiveFunction obj) |
void |
LexicoDecoratorPB.setObjectiveFunction(ObjectiveFunction obj) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.