choco.cp.solver.search.integer.objective
Class MaxIntObjManager

java.lang.Object
  extended by choco.cp.solver.search.integer.objective.IntObjectiveManager
      extended by choco.cp.solver.search.integer.objective.MaxIntObjManager
All Implemented Interfaces:
IObjectiveManager

public final class MaxIntObjManager
extends IntObjectiveManager


Field Summary
 
Fields inherited from class choco.cp.solver.search.integer.objective.IntObjectiveManager
bound, floorBound, objective, targetBound
 
Constructor Summary
MaxIntObjManager(IntDomainVar objective)
           
 
Method Summary
 int getCeilValue()
           
 int getFloorValue()
           
 int getInitialBoundValue()
           
 void incrementFloorBound()
           
 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 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).
 
Methods inherited from class choco.cp.solver.search.integer.objective.IntObjectiveManager
getBestObjectiveValue, getObjective, getObjectiveFloor, getObjectiveTarget, getObjectiveValue, initBounds, postIncFloorBound, toString, writeObjective
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MaxIntObjManager

public MaxIntObjManager(IntDomainVar objective)
Method Detail

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.