Examples of push()

Examples of org.sat4j.core.VecInt.push()

134
135
136
137
138
139
140
141
142
143
144
      /* PB constraints to enforce assignment of exactly one color. */
      for (int i = 0; i < numberOfVertices; i++) {
        IVecInt literals = new VecInt(colors);
        IVec<BigInteger> coefficients = new Vec<BigInteger>(colors);
        for (int j = 1; j <= colors; j++) {
          literals.push(i * colors + j);
          coefficients.push(BigInteger.ONE);
        }
        solver.addPseudoBoolean(literals, coefficients, false,
            BigInteger.ONE);
        solver.addPseudoBoolean(literals, coefficients, true,
View Full Code Here

Examples of org.sat4j.specs.IVecInt.push()

134
135
136
137
138
139
140
141
142
143
144
      /* PB constraints to enforce assignment of exactly one color. */
      for (int i = 0; i < numberOfVertices; i++) {
        IVecInt literals = new VecInt(colors);
        IVec<BigInteger> coefficients = new Vec<BigInteger>(colors);
        for (int j = 1; j <= colors; j++) {
          literals.push(i * colors + j);
          coefficients.push(BigInteger.ONE);
        }
        solver.addPseudoBoolean(literals, coefficients, false,
            BigInteger.ONE);
        solver.addPseudoBoolean(literals, coefficients, true,
View Full Code Here

Examples of org.springframework.beans.factory.parsing.ParseState.push()

28
29
30
31
32
33
34
35
36
37
38
  public void testSimple() throws Exception {
    MockEntry entry = new MockEntry();

    ParseState parseState = new ParseState();
    parseState.push(entry);
    assertEquals("Incorrect peek value.", entry, parseState.peek());
    parseState.pop();
    assertNull("Should get null on peek()", parseState.peek());
  }
View Full Code Here

Examples of org.teavm.common.IntegerStack.push()

31
32
33
34
35
36
37
38
39
40
41
            return;
        }
        InstructionTransitionExtractor transitionExtractor = new InstructionTransitionExtractor();
        boolean[] reachable = new boolean[program.basicBlockCount()];
        IntegerStack stack = new IntegerStack(program.basicBlockCount());
        stack.push(0);
        while (!stack.isEmpty()) {
            int i = stack.pop();
            if (reachable[i]) {
                continue;
            }
View Full Code Here

Examples of org.teiid.query.optimizer.relational.RuleStack.push()

61
62
63
64
65
66
67
68
69
70
71
    public void testPopOneRule() {
        RuleStack stack = new RuleStack();
        int expectedSize = stack.size();
       
        OptimizerRule rule = new RulePushSelectCriteria();
        stack.push(rule);
       
        helpTestPop(stack, rule, expectedSize);
    }

    public void testPopNothing() {
View Full Code Here

Examples of org.testng.reporters.XMLStringBuffer.push()

304
305
306
307
308
309
310
311
312
313
314
    }
    if (null != m_annotations) {
      p.setProperty("annotations", m_annotations.toString());
    }
   
    xsb.push("test", p);
   
   
    if (null != getMethodSelectors() && !getMethodSelectors().isEmpty()) {
      xsb.push("method-selectors");
      for (XmlMethodSelector selector: getMethodSelectors()) {
View Full Code Here

Examples of org.thechiselgroup.choosel.core.client.util.math.NumberArray.push()

73
74
75
76
77
78
79
80
81
82
83
        for (Resource resource : resources) {
            // TODO, what happens if this is null, should that be possible,
            // should it not show those resources
            // TODO also what is used by default and does that make sense
            // TODO but what would happen to number array if slot was missing
            numberArray.push((Double) resource.getValue(property));
        }

        return numberArray;
    }
View Full Code Here

Examples of org.zeromq.ZMsg.push()

180
181
182
183
184
185
186
187
188
189
190
            else
            if (command.equals("REQUEST")) {
                assert (request == null);    //  Strict request-reply cycle
                //  Prefix request with sequence number and empty envelope
                String sequenceText = String.format("%d", ++sequence);
                msg.push(sequenceText);
                //  Take ownership of request message
                request = msg;
                msg = null;
                //  Request expires after global timeout
                expires = System.currentTimeMillis() + GLOBAL_TIMEOUT;
View Full Code Here

Examples of pt.opensoft.logging.Logger.push()

34
35
36
37
38
39
40
41
42
43
44
    String resourceName = getResourceName();
    long resourceTimeout = parameters.getLongValue("resource." + resourceName + ".resourceTimeout");
    resource = resourceManager.get(resourceName, resourceTimeout);

    Logger resourceLogger = actionWrapper.getLogger().getWrapper();
    resourceLogger.push(resourceName + "|" + resource.getId());

    actionWrapper.getLogger().push(resourceName + "|" + resource.getId());
    mustPop = true;

    afectActionWithResource(resource, resourceLogger, actionWrapper);
View Full Code Here

Examples of ptolemy.kernel.undo.UndoStackAttribute.push()

235
236
237
238
239
240
241
242
243
244
245
                // the model is running.
                MoMLUndoEntry newEntry = new MoMLUndoEntry(toplevel,
                        finalUndoMoML);
                UndoStackAttribute undoInfo = UndoStackAttribute
                        .getUndoInfo(toplevel);
                undoInfo.push(newEntry);
            }
        };

        toplevel.requestChange(request);
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.