Package | Description |
---|---|
org.sat4j.pb | |
org.sat4j.pb.constraints.pb | |
org.sat4j.pb.core | |
org.sat4j.pb.orders | |
org.sat4j.pb.reader | |
org.sat4j.pb.tools |
Modifier and Type | Field and Description |
---|---|
protected ObjectiveFunction |
LanceurPseudo2005.obfct |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
IPBSolver.getObjectiveFunction()
Retrieve the objective function from the solver.
|
ObjectiveFunction |
IPBSolverService.getObjectiveFunction() |
ObjectiveFunction |
LPStringSolver.getObjectiveFunction() |
ObjectiveFunction |
OPBStringSolver.getObjectiveFunction() |
ObjectiveFunction |
PBSolverDecorator.getObjectiveFunction() |
ObjectiveFunction |
PseudoBitsAdderDecorator.getObjectiveFunction() |
ObjectiveFunction |
UserFriendlyPBStringSolver.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
void |
LPStringSolver.objectiveFunctionToLP(ObjectiveFunction obj,
java.lang.StringBuffer buffer) |
void |
IPBSolver.setObjectiveFunction(ObjectiveFunction obj)
Provide an objective function to the solver.
|
void |
LPStringSolver.setObjectiveFunction(ObjectiveFunction obj) |
void |
OPBStringSolver.setObjectiveFunction(ObjectiveFunction obj) |
void |
PBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj) |
void |
PseudoBitsAdderDecorator.setObjectiveFunction(ObjectiveFunction objf) |
void |
PseudoOptDecorator.setObjectiveFunction(ObjectiveFunction objf) |
void |
UserFriendlyPBStringSolver.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 |
ObjectiveReducerPBSolverDecorator.getObjectiveFunction() |
ObjectiveFunction |
PBSolver.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
void |
ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction obj) |
void |
PBSolver.setObjectiveFunction(ObjectiveFunction obj) |
Modifier and Type | Method and Description |
---|---|
void |
IOrderObjective.setObjectiveFunction(ObjectiveFunction obj) |
void |
RandomWalkDecoratorObjective.setObjectiveFunction(ObjectiveFunction obj) |
void |
VarOrderHeapObjective.setObjectiveFunction(ObjectiveFunction obj) |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
OPBReader2005.getObjectiveFunction() |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<ObjectiveFunction> |
LexicoDecoratorPB.objs |
Modifier and Type | Method and Description |
---|---|
ObjectiveFunction |
ClausalConstraintsDecorator.getObjectiveFunction() |
ObjectiveFunction |
LexicoDecoratorPB.getObjectiveFunction() |
ObjectiveFunction |
ManyCorePB.getObjectiveFunction() |
ObjectiveFunction |
PBAdapter.getObjectiveFunction() |
ObjectiveFunction |
XplainPB.getObjectiveFunction() |
Modifier and Type | Method and Description |
---|---|
void |
ClausalConstraintsDecorator.setObjectiveFunction(ObjectiveFunction obj) |
void |
LexicoDecoratorPB.setObjectiveFunction(ObjectiveFunction obj) |
void |
ManyCorePB.setObjectiveFunction(ObjectiveFunction obj) |
void |
PBAdapter.setObjectiveFunction(ObjectiveFunction obj) |
void |
XplainPB.setObjectiveFunction(ObjectiveFunction obj) |