Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.VertexID.toInt()

240
241
242
243
244
245
246
247
248
249
250
  {
    VertexID id = VertexID.parseID("P100789");
    Assert.assertEquals(VertKind.POSITIVE,id.getKind());
    Assert.assertEquals("P100789",id.toString());
    Assert.assertEquals(100789, id.getIntegerID());
    Assert.assertEquals(100789, id.toInt());
  }
 
  @Test
  public final void testParseID7()
  {
View Full Code Here
250
251
252
253
254
255
256
257
258
259
260
  {
    VertexID id = VertexID.parseID("N100789");
    Assert.assertEquals(VertKind.NEGATIVE,id.getKind());
    Assert.assertEquals("N100789",id.toString());
    Assert.assertEquals(100789, id.getIntegerID());
    Assert.assertEquals(-100789, id.toInt());
  }
 
 
  /** Tests that it is not possible to create an invalid VertexID. */
  @SuppressWarnings("unused")
 
View Full Code Here
240
241
242
243
244
245
246
247
248
249
250
  {
    VertexID id = VertexID.parseID("P100789");
    Assert.assertEquals(VertKind.POSITIVE,id.getKind());
    Assert.assertEquals("P100789",id.toString());
    Assert.assertEquals(100789, id.getIntegerID());
    Assert.assertEquals(100789, id.toInt());
  }
 
  @Test
  public final void testParseID7()
  {
View Full Code Here
250
251
252
253
254
255
256
257
258
259
260
  {
    VertexID id = VertexID.parseID("N100789");
    Assert.assertEquals(VertKind.NEGATIVE,id.getKind());
    Assert.assertEquals("N100789",id.toString());
    Assert.assertEquals(100789, id.getIntegerID());
    Assert.assertEquals(-100789, id.toInt());
  }
 
 
  /** Tests that it is not possible to create an invalid VertexID. */
  @SuppressWarnings("unused")
 
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.