choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.slack
Class IncSlackWDegRatio
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.slack.IncSlackWDegRatio
- All Implemented Interfaces:
- IntRatio, ITemporalRatio, Comparable<IntRatio>
public final class IncSlackWDegRatio
- extends AbstractPrecedenceRatio
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 |
IncSlackWDegRatio
public IncSlackWDegRatio(ITemporalSRelation precedence)
initializeDividend
public int initializeDividend()
- Specified by:
initializeDividend
in class AbstractRatio
initializeDivisor
public int initializeDivisor()
- Specified by:
initializeDivisor
in class AbstractRatio
Copyright © 2012. All Rights Reserved.