choco.cp.solver.search.real.objective
Class RealObjectiveManager

java.lang.Object
  extended by choco.cp.solver.search.real.objective.RealObjectiveManager
All Implemented Interfaces:
IObjectiveManager
Direct Known Subclasses:
MaxRealObjManager, MinRealObjManager

public abstract class RealObjectiveManager
extends Object
implements IObjectiveManager


Field Summary
protected  double bound
           
protected  RealIntervalConstant boundInterval
           
protected  double floorBound
           
 RealVar objective
           
protected  double targetBound
           
 
Constructor Summary
RealObjectiveManager(RealVar objective)
           
 
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)
abstract  double getCeilValue()
           
abstract  double getFloorValue()
           
abstract  double getInitialBoundValue()
           
 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
 void postFloorBound()
          propagating the optimization cuts from the new floor bounds
 void postIncFloorBound()
           
 void postTargetBound()
          propagating the optimization cuts from the new target bounds
protected abstract  void setBoundInterval()
           
 void writeObjective(Solution sol)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.search.IObjectiveManager
isTargetInfeasible, setBound, setTargetBound
 

Field Detail

objective

public final RealVar objective

boundInterval

protected RealIntervalConstant boundInterval

bound

protected double bound

floorBound

protected double floorBound

targetBound

protected double targetBound
Constructor Detail

RealObjectiveManager

public RealObjectiveManager(RealVar objective)
Method Detail

getInitialBoundValue

public abstract double getInitialBoundValue()

getFloorValue

public abstract double getFloorValue()

getCeilValue

public abstract double getCeilValue()

getObjective

public final Var getObjective()
Specified by:
getObjective in interface IObjectiveManager

getObjectiveValue

public final Number getObjectiveValue()
Description copied from interface: IObjectiveManager
v1.0 accessing the objective value of an optimization model (note that the objective value may not be instantiated, while all other variables are)

Specified by:
getObjectiveValue in interface IObjectiveManager
Returns:
the current objective value

getBestObjectiveValue

public final Number getBestObjectiveValue()
Description copied from interface: IObjectiveManager
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)

Specified by:
getBestObjectiveValue in interface IObjectiveManager
Returns:
the best found objective value

getObjectiveTarget

public final Number getObjectiveTarget()
Description copied from interface: IObjectiveManager
the target for the objective function: we are searching for a solution at least as good as this (tentative bound)

Specified by:
getObjectiveTarget in interface IObjectiveManager

getObjectiveFloor

public final Number getObjectiveFloor()
Description copied from interface: IObjectiveManager
Currently best known bound on the optimal solution value of the problem.

Specified by:
getObjectiveFloor in interface IObjectiveManager

initBounds

public final void initBounds()
Description copied from interface: IObjectiveManager
initialization of the optimization bound data structure

Specified by:
initBounds in interface IObjectiveManager

setBoundInterval

protected abstract void setBoundInterval()

postTargetBound

public final void postTargetBound()
                           throws ContradictionException
Description copied from interface: IObjectiveManager
propagating the optimization cuts from the new target bounds

Specified by:
postTargetBound in interface IObjectiveManager
Throws:
ContradictionException

postFloorBound

public final void postFloorBound()
                          throws ContradictionException
Description copied from interface: IObjectiveManager
propagating the optimization cuts from the new floor bounds

Specified by:
postFloorBound in interface IObjectiveManager
Throws:
ContradictionException

postIncFloorBound

public final void postIncFloorBound()
                             throws ContradictionException
Specified by:
postIncFloorBound in interface IObjectiveManager
Throws:
ContradictionException

incrementFloorBound

public final void incrementFloorBound()
Specified by:
incrementFloorBound in interface IObjectiveManager

writeObjective

public final void writeObjective(Solution sol)
Specified by:
writeObjective in interface IObjectiveManager


Copyright © 2012. All Rights Reserved.