choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved
Class IncPreservedWDegRatio
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.PreservedWDegRatio
choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.IncPreservedWDegRatio
- All Implemented Interfaces:
- IntRatio, ITemporalRatio, Comparable<IntRatio>
public final class IncPreservedWDegRatio
- extends PreservedWDegRatio
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.PreservedWDegRatio |
DIVISOR |
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 |
IncPreservedWDegRatio
public IncPreservedWDegRatio(ITemporalSRelation precedence)
initializeDivisor
public int initializeDivisor()
- Overrides:
initializeDivisor
in class PreservedWDegRatio
Copyright © 2012. All Rights Reserved.