67686970717273
* * @param sets variables to branch on * @return a strategy to instantiate sets */ public static SetStrategy force_first(SetVar... sets) { return custom(new InputOrder<SetVar>(), new SetDomainMin(), true, sets); }
77787980818283
* * @param sets variables to branch on * @return a strategy to instantiate sets */ public static SetStrategy remove_first(SetVar... sets) { return custom(new InputOrder<SetVar>(), new SetDomainMin(), false, sets); }
89909192939495
* * @param sets variables to branch on * @return a strategy to instantiate sets */ public static SetStrategy force_minDelta_first(SetVar... sets) { return custom(new MinDelta(), new SetDomainMin(), true, sets); }
101102103104105106107
* * @param sets variables to branch on * @return a strategy to instantiate sets */ public static SetStrategy force_maxDelta_first(SetVar... sets) { return custom(new MaxDelta(), new SetDomainMin(), true, sets); }