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

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
All Implemented Interfaces:
IntRatio, ITemporalRatio, Comparable<IntRatio>
Direct Known Subclasses:
IncPreservedWDegRatio

public class PreservedWDegRatio
extends AbstractPrecedenceRatio


Field Summary
protected static int DIVISOR
           
 
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.AbstractPrecedenceRatio
precedence
 
Constructor Summary
PreservedWDegRatio(ITemporalSRelation precedence)
           
 
Method Summary
 int initializeDividend()
           
 int initializeDivisor()
           
 
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
 

Field Detail

DIVISOR

protected static final int DIVISOR
See Also:
Constant Field Values
Constructor Detail

PreservedWDegRatio

public PreservedWDegRatio(ITemporalSRelation precedence)
Method Detail

initializeDivisor

public int initializeDivisor()
Specified by:
initializeDivisor in class AbstractRatio

initializeDividend

public final int initializeDividend()
Specified by:
initializeDividend in class AbstractRatio


Copyright © 2012. All Rights Reserved.