choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved
Class IncPreservedWDegRatio

java.lang.Object
  extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.AbstractRatio
      extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.AbstractPrecedenceRatio
          extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.PreservedWDegRatio
              extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.IncPreservedWDegRatio
All Implemented Interfaces:
IntRatio, ITemporalRatio, Comparable<IntRatio>

public final class IncPreservedWDegRatio
extends PreservedWDegRatio


Field Summary
 
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.PreservedWDegRatio
DIVISOR
 
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.AbstractPrecedenceRatio
precedence
 
Constructor Summary
IncPreservedWDegRatio(ITemporalSRelation precedence)
           
 
Method Summary
 int initializeDivisor()
           
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.PreservedWDegRatio
initializeDividend
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.AbstractPrecedenceRatio
getIntVar, getTemporalRelation
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.AbstractRatio
compareTo, getDivisor, getLeftMember, getRightMember, initailizeDividend, isActive, setDividend, setDivisor, setMaxRatioValue, setRatio, setZeroRatioValue, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.cp.solver.search.integer.varselector.ratioselector.ratios.IntRatio
getDivisor, initailizeDividend, isActive
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Constructor Detail

IncPreservedWDegRatio

public IncPreservedWDegRatio(ITemporalSRelation precedence)
Method Detail

initializeDivisor

public int initializeDivisor()
Overrides:
initializeDivisor in class PreservedWDegRatio


Copyright © 2012. All Rights Reserved.