choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree
Class IncDomWDegRatio
java.lang.Object
choco.cp.solver.search.integer.varselector.ratioselector.ratios.AbstractRatio
choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.DomDegRatio
choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.IncDomWDegRatio
- All Implemented Interfaces:
- IntRatio, Comparable<IntRatio>
public final class IncDomWDegRatio
- extends DomDegRatio
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.DomDegRatio |
var |
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 |
IncDomWDegRatio
public IncDomWDegRatio(IntDomainVar var)
initializeDivisor
public int initializeDivisor()
- Overrides:
initializeDivisor
in class DomDegRatio
Copyright © 2012. All Rights Reserved.