|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IObjectiveManager
Method Summary | |
---|---|
Number |
getBestObjectiveValue()
v1.0 accessing the best found objective value of an optimization model (note that the objective value may not be instantiated, while all other variables are) |
Var |
getObjective()
|
Number |
getObjectiveFloor()
Currently best known bound on the optimal solution value of the problem. |
Number |
getObjectiveTarget()
the target for the objective function: we are searching for a solution at least as good as this (tentative bound) |
Number |
getObjectiveValue()
v1.0 accessing the objective value of an optimization model (note that the objective value may not be instantiated, while all other variables are) |
void |
incrementFloorBound()
|
void |
initBounds()
initialization of the optimization bound data structure |
boolean |
isTargetInfeasible()
indicates if the target bound is infeasible, i.e. does not belong to the current objective domain. |
void |
postFloorBound()
propagating the optimization cuts from the new floor bounds |
void |
postIncFloorBound()
|
void |
postTargetBound()
propagating the optimization cuts from the new target bounds |
void |
setBound()
resetting the optimization bounds |
void |
setTargetBound()
resetting the values of the target bounds (bounds for the remaining search). |
void |
writeObjective(Solution sol)
|
Method Detail |
---|
Var getObjective()
Number getObjectiveValue()
Number getBestObjectiveValue()
Number getObjectiveTarget()
Number getObjectiveFloor()
void writeObjective(Solution sol)
void initBounds()
void setBound()
void setTargetBound()
void postTargetBound() throws ContradictionException
ContradictionException
void postFloorBound() throws ContradictionException
ContradictionException
void incrementFloorBound()
void postIncFloorBound() throws ContradictionException
ContradictionException
boolean isTargetInfeasible()
true
if the target bound does not belong to the objective domain, false
otherwise.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |