choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved
Class MinPreservedRatio
java.lang.Object
choco.cp.solver.search.integer.varselector.ratioselector.ratios.AbstractRatio
choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.AbstractPrecedenceRatio
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
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 |
MinPreservedRatio
public MinPreservedRatio(ITemporalSRelation precedence)
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.