choco.cp.solver.search.integer.objective
Class MaxIntObjManager
java.lang.Object
choco.cp.solver.search.integer.objective.IntObjectiveManager
choco.cp.solver.search.integer.objective.MaxIntObjManager
- All Implemented Interfaces:
- IObjectiveManager
public final class MaxIntObjManager
- extends IntObjectiveManager
MaxIntObjManager
public MaxIntObjManager(IntDomainVar objective)
getInitialBoundValue
public int getInitialBoundValue()
- Specified by:
getInitialBoundValue
in class IntObjectiveManager
getFloorValue
public int getFloorValue()
- Specified by:
getFloorValue
in class IntObjectiveManager
getCeilValue
public int getCeilValue()
- Specified by:
getCeilValue
in class IntObjectiveManager
setBound
public void setBound()
- Description copied from interface:
IObjectiveManager
- resetting the optimization bounds
setTargetBound
public void setTargetBound()
- Description copied from interface:
IObjectiveManager
- resetting the values of the target bounds (bounds for the remaining search).
postTargetBound
public void postTargetBound()
throws ContradictionException
- Description copied from interface:
IObjectiveManager
- propagating the optimization cuts from the new target bounds
- Throws:
ContradictionException
incrementFloorBound
public void incrementFloorBound()
postFloorBound
public void postFloorBound()
throws ContradictionException
- Description copied from interface:
IObjectiveManager
- propagating the optimization cuts from the new floor bounds
- Throws:
ContradictionException
isTargetInfeasible
public boolean isTargetInfeasible()
- Description copied from interface:
IObjectiveManager
- indicates if the target bound is infeasible, i.e. does not belong to the current objective domain.
- Returns:
true
if the target bound does not belong to the objective domain, false
otherwise.
Copyright © 2012. All Rights Reserved.