Examples of toInt()


Examples of statechum.model.testset.PTASequenceEngine.Node.toInt()

    Node a = engine.new Node("A"), b = engine.new Node("A"), c = engine.new Node("B");
    assertEquals("A", a.getState());
    assertEquals("A", b.getState());
    assertEquals("B", c.getState());
   
    int aID = a.toInt(), bID = b.toInt(), cID = c.toInt();
    assertTrue(aID > 0 && bID > 0 && cID > 0);
    assertTrue(aID != bID && aID != cID && aID != bID);
   
    assertTrue(a.hashCode() != b.hashCode() && a.hashCode() != c.hashCode() && b.hashCode() != c.hashCode());
    assertTrue(a.hashCode() != engine.rejectNode.hashCode());
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.