Examples of Cyclic

solver.search.strategy.selectors.variables.Cyclic
A cyclic variable selector : since a dichotomy algorithm is used, cyclic assigning is needed for instantiate a real interval variable.
@author Charles Prud'homme @since 18/07/12

Examples of solver.search.strategy.selectors.variables.Cyclic


    }


    @Override
    public void configureSearch() {
        solver.set(new RealStrategy(vars, new Cyclic(), new RealDomainMiddle()));
    }

View Full Code Here

Examples of solver.search.strategy.selectors.variables.Cyclic

    );
  }


  @Override
  public void configureSearch() {
    solver.set(new RealStrategy(vars, new Cyclic(), new RealDomainMiddle()));
    SearchMonitorFactory.limitTime(solver,10000);
  }

View Full Code Here

Examples of solver.search.strategy.selectors.variables.Cyclic

    }


    // REAL VARIABLES DEFAULT SEARCH STRATEGY
    RealVar[] rvars = excludeConstants(solver.retrieveRealVars());
    if (rvars.length > 0) {
      strats[nb] = new RealStrategy(rvars, new Cyclic(), new RealDomainMiddle());
    }


    if (nb==0) {
      // simply to avoid null pointers in case all variables are instantiated
      solver.set(ISF.minDom_LB(solver.ONE));

View Full Code Here

Examples of solver.search.strategy.selectors.variables.Cyclic

        // x : [2.000000, 2.000000], y : [4.000000, 4.000000]
        // or x : [1.000000, 1.000000], y : [8.000000, 8.000000]
        // but it always like this : x : [2.418267, 2.418267], y : [3.308154, 3.308154]
//        rcons.discretize(x,y);
        solver.post(new RealConstraint("RC","{0} * {1} = 8", vars));
        solver.set(new RealStrategy(vars, new Cyclic(), new RealDomainMiddle()));
        solver.findSolution();
        Assert.assertEquals(x.getValue(), 2);
        Assert.assertEquals(y.getValue(), 4);
    }

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.