choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree
Class IncDomWDegRatio

java.lang.Object
  extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.AbstractRatio
      extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.DomDegRatio
          extended by choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.IncDomWDegRatio
All Implemented Interfaces:
IntRatio, Comparable<IntRatio>

public final class IncDomWDegRatio
extends DomDegRatio


Field Summary
 
Fields inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.DomDegRatio
var
 
Constructor Summary
IncDomWDegRatio(IntDomainVar var)
           
 
Method Summary
 int initializeDivisor()
           
 
Methods inherited from class choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree.DomDegRatio
getIntVar, initializeDividend
 
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
 

Constructor Detail

IncDomWDegRatio

public IncDomWDegRatio(IntDomainVar var)
Method Detail

initializeDivisor

public int initializeDivisor()
Overrides:
initializeDivisor in class DomDegRatio


Copyright © 2012. All Rights Reserved.