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

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.MinPreservedRatio
All Implemented Interfaces:
IntRatio, ITemporalRatio, Comparable<IntRatio>

public final class MinPreservedRatio
extends AbstractPrecedenceRatio

Must handle properly integer overflow.

Since:
26 mars 2010 version 2.1.1
Version:
2.1.1
Author:
Arnaud Malapert

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

Constructor Detail

MinPreservedRatio

public MinPreservedRatio(ITemporalSRelation precedence)
Method Detail

initializeDividend

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

initializeDivisor

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


Copyright © 2012. All Rights Reserved.