choco.cp.solver.search.integer.varselector.ratioselector.ratios
Class RatioFactory
java.lang.Object
choco.cp.solver.search.integer.varselector.ratioselector.ratios.RatioFactory
public final class RatioFactory
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
createDefaultRatio
public static SimpleRatio[] createDefaultRatio(int[] dividends,
int[] divisors)
createDomDegRatio
public static IntRatio[] createDomDegRatio(IntDomainVar[] vars)
createDomDynDegRatio
public static IntRatio[] createDomDynDegRatio(IntDomainVar[] vars)
createDomWDegRatio
public static IntRatio[] createDomWDegRatio(IntDomainVar[] vars,
boolean incremental)
createSlackWDegRatio
public static ITemporalRatio[] createSlackWDegRatio(ITemporalSRelation[] precedences,
boolean incremental)
createPreservedWDegRatio
public static ITemporalRatio[] createPreservedWDegRatio(ITemporalSRelation[] precedences,
boolean incremental)
createMaxPreservedRatio
public static MaxPreservedRatio[] createMaxPreservedRatio(ITemporalSRelation[] precedences)
createMinPreservedRatio
public static MinPreservedRatio[] createMinPreservedRatio(ITemporalSRelation[] precedences)
Copyright © 2012. All Rights Reserved.