Package memory.structure

Examples of memory.structure.Operation

150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
        for (int v = 0; v < vars.length; v++) {
            vindices[v] = vars[v].link(this, v);
        }
        ID = solver.nextId();
        operations = new Operation[]{
                new Operation() {
                    @Override
                    public void undo() {
                        state = NEW;
                    }
                },
                new Operation() {
                    @Override
                    public void undo() {
                        state = REIFIED;
                    }
                },
                new Operation() {
                    @Override
                    public void undo() {
                        state = ACTIVE;
                    }
                }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
            LOGGER.debug("post " + c.toString());
        }
        solver.postTemp(c);
        // the constraint has been added during the resolution.
        // it should be removed on backtrack -> create a new undo operation
        solver.getEnvironment().save(new Operation() {
            @Override
            public void undo() {
                if (LOGGER.isDebugEnabled()) {
                    LOGGER.debug("unpost " + c.toString());
                }
View Full Code Here
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
                }
                if (s == Sort.detect) {
                    IEnvironment environment = solver.getEnvironment();
                    if (isDsc) {
                        s = Sort.desc;
                        environment.save(new Operation() {
                            @Override
                            public void undo() {
                                s = Sort.detect;
                            }
                        });
                    } else if (isAsc) {
                        s = Sort.asc;
                        environment.save(new Operation() {
                            @Override
                            public void undo() {
                                s = Sort.detect;
                            }
                        });
                    } else {
                        s = Sort.none;
                        environment.save(new Operation() {
                            @Override
                            public void undo() {
                                s = Sort.detect;
                            }
                        });
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
    @Override
    public void init() throws ContradictionException {
        gAtDec = new GenerateAndTestDecision(vars);
        gAtPE = new GenerateAndTestPropagationEngine(solver);
        final IPropagationEngine stdEngine = solver.getEngine();
        restorePropagationEngine = new Operation() {
            @Override
            public void undo() {
                solver.set(stdEngine);
            }
        };
View Full Code Here
TOP

Related Classes of memory.structure.Operation

  • solver.constraints.binary.PropElement
  • solver.constraints.Propagator
  • solver.constraints.reification.PropConditionnal
  • solver.search.strategy.strategy.GenerateAndTest
    • Copyright © 2018 www.massapicom. 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.