Examples of IMonitorSolution

Examples of solver.search.loop.monitors.IMonitorSolution

82
83
84
85
86
87
88
89
90
91
92
  }

  @Override
  public void configureSearch() {
    solver.set(ISF.random_value(bins, 0));
    solver.plugMonitor(new IMonitorSolution() {
      @Override
      public void onSolution() {
        String s = minLoad+" : ";
        for(IntVar l:loads){
          s+=" "+l.getValue();
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

51
52
53
54
55
56
57
58
59
60
61
    final IntVar[] XS = VF.enumeratedArray("XS", 4, 0, 2, solver);
    final IntVar N = VF.enumerated("N", 2, 3, solver);
    solver.post(ICF.atleast_nvalues(XS, N, false));
    SMF.log(solver, true, false);
    final BitSet values = new BitSet(3);
    solver.plugMonitor(new IMonitorSolution() {
      @Override
      public void onSolution() {
        values.clear();
        for(IntVar v:XS){
          if(!v.isInstantiated()){
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

80
81
82
83
84
85
86
87
88
89
90
    final IntVar[] XS = VF.enumeratedArray("XS", 4, 0, 2, solver);
    final IntVar N = VF.enumerated("N", 2, 3, solver);
    solver.post(ICF.atmost_nvalues(XS, N, false));
    SMF.log(solver, true, false);
    final BitSet values = new BitSet(3);
    solver.plugMonitor(new IMonitorSolution() {
      @Override
      public void onSolution() {
        values.clear();
        for(IntVar v:XS){
          if(!v.isInstantiated()){
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

153
154
155
156
157
158
159
160
161
162
163
        final IntVar Z = VariableFactory.enumerated("Z", 1, 2, solver);
        final Constraint c1 = IntConstraintFactory.arithm(X, "=", Y);
        final Constraint c2 = IntConstraintFactory.arithm(X, "=", Z);
        solver.post(c1);
        solver.post(c2);
        solver.plugMonitor(new IMonitorSolution() {
            @Override
            public void onSolution() {
                solver.unpost(c1);
                solver.unpost(c2);
            }
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

164
165
166
167
168
169
170
171
172
173
174
                }));
        solver.findSolution();
        Assert.assertEquals(iv.getValue(), 2);

        solver.getSearchLoop().reset();
        solver.getSearchLoop().plugSearchMonitor(new IMonitorSolution() {
            @Override
            public void onSolution() {
                solver.post(ICF.arithm(iv, ">=", 6));
            }
        });
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

72
73
74
75
76
77
78
79
80
81
82
            IntVar b = VF.enumerated("b", new int[]{-1, 1, 3, 4}, s);
            IntVar c = VF.enumerated("c", new int[]{-3, 1, 4}, s);
            s.post(ICF.eucl_div(a, b, c));
            s.set(ISF.random_value(new IntVar[]{a, b, c}, i));
            //SMF.log(s, true, true);
            s.plugMonitor(new IMonitorSolution() {
                @Override
                public void onSolution() {
                    if (!ESat.TRUE.equals(s.isSatisfied())) {
                        throw new Error(s.toString());
                    }
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

113
114
115
116
117
118
119
120
121
122
123
      public void afterInitialPropagation() {
        System.out.println("bound after initial propagation : " + nbValues);
      }
    });
    solver.plugMonitor(new IMonitorSolution() {
      @Override
      public void onSolution() {
        bestObj = nbValues.getValue();
        System.out.println("Solution found! Objective = "+bestObj);
      }
View Full Code Here

Examples of solver.search.loop.monitors.IMonitorSolution

81
82
83
84
85
86
87
88
89
90
91
            // plug monitor to communicate bounds (should not be added in the sequential phasis)
            solver = model.getSolver();

      // communication
      final ISearchLoop searchLoop = solver.getSearchLoop();
      searchLoop.plugSearchMonitor(new IMonitorSolution() {
        @Override
        public void onSolution() {
          ObjectiveManager om = searchLoop.getObjectiveManager();
          int val = om.getPolicy() == ResolutionPolicy.SATISFACTION ? 1 : om.getBestSolutionValue().intValue();
          master.newSol(val, om.getPolicy());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.