Examples of IntDomainRandom

solver.search.strategy.selectors.values.IntDomainRandom
Selects randomly a value in the variable domain. BEWARE: this should not be used within assignments and/or value removals if variables have a bounded domain.
@author Charles Prud'homme @since 2 juil. 2010

Examples of solver.search.strategy.selectors.values.IntDomainRandom


                for (int j = 0; j < 1000; j++) {
                    s1.getEnvironment().worldPush();
                    s2.getEnvironment().worldPush();


                    IntDomainRandom r = new IntDomainRandom(j);
                    int val = r.selectValue(vs1[0]);
                    vs1[0].removeValue(val, Cause.Null);
                    vs2[0].removeValue(val, Cause.Null);


                    s1.propagate();
                    p2.propagate(0);

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.