Package solver

Examples of solver.Solver.propagate()

76
77
78
79
80
81
82
83
84
85
86
            Assert.assertEquals(Y.getLB(), -9);
            Assert.assertEquals(X.getUB(), 9);

            Y.updateUpperBound(-2, Cause.Null);
      if(!Configuration.ENABLE_VIEWS)
        solver.propagate();
            Assert.assertEquals(Y.getUB(), -2);
            Assert.assertEquals(X.getLB(), 2);

            Y.removeValue(-4, Cause.Null);
      if(!Configuration.ENABLE_VIEWS)
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
            Assert.assertEquals(Y.getUB(), -2);
            Assert.assertEquals(X.getLB(), 2);

            Y.removeValue(-4, Cause.Null);
      if(!Configuration.ENABLE_VIEWS)
        solver.propagate();
            Assert.assertFalse(Y.contains(-4));
            Assert.assertFalse(X.contains(4));

            Y.removeInterval(-8, -6, Cause.Null);
      if(!Configuration.ENABLE_VIEWS)
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
            Assert.assertFalse(Y.contains(-4));
            Assert.assertFalse(X.contains(4));

            Y.removeInterval(-8, -6, Cause.Null);
      if(!Configuration.ENABLE_VIEWS)
        solver.propagate();
            Assert.assertFalse(Y.contains(-8));
            Assert.assertFalse(Y.contains(-7));
            Assert.assertFalse(Y.contains(-6));
            Assert.assertFalse(X.contains(6));
            Assert.assertFalse(X.contains(7));
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
            Assert.assertEquals(X.getDomainSize(), 4);
            Assert.assertEquals(Y.getDomainSize(), 4);

            Y.instantiateTo(-5, Cause.Null);
      if(!Configuration.ENABLE_VIEWS)
        solver.propagate();
            Assert.assertTrue(X.isInstantiated());
            Assert.assertTrue(Y.isInstantiated());
            Assert.assertEquals(X.getValue(), 5);
            Assert.assertEquals(Y.getValue(), -5);
View Full Code Here
213
214
215
216
217
218
219
220
221
222
223
            int[][] domains = DomainBuilder.buildFullDomains(1, -5, 5, random, random.nextDouble(), random.nextBoolean());
            IntVar o = VariableFactory.enumerated("o", domains[0], solver);
            IntVar v = VariableFactory.minus(o);
      if(!Configuration.ENABLE_VIEWS){
        try {
          solver.propagate();
        }catch (Exception e){
          e.printStackTrace();
          throw new UnsupportedOperationException();
        }
      }
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.