Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.containsUserDatumKey()

1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
  public final void testVertexConstruction()
  {
    Configuration conf = Configuration.getDefaultConfiguration().copy();conf.setAllowedToCloneNonCmpVertex(true);
    DeterministicVertex vertex = new DeterministicVertex("testVertex");
    vertex.setAccept(false);vertex.setHighlight(true);vertex.setColour(JUConstants.AMBER);vertex.setOrigState(VertexID.parseID("id"));vertex.setDepth(34);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
View Full Code Here
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
  {
    Configuration conf = Configuration.getDefaultConfiguration().copy();conf.setAllowedToCloneNonCmpVertex(true);
    DeterministicVertex vertex = new DeterministicVertex("testVertex");
    vertex.setAccept(false);vertex.setHighlight(true);vertex.setColour(JUConstants.AMBER);vertex.setOrigState(VertexID.parseID("id"));vertex.setDepth(34);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
View Full Code Here
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
    Configuration conf = Configuration.getDefaultConfiguration().copy();conf.setAllowedToCloneNonCmpVertex(true);
    DeterministicVertex vertex = new DeterministicVertex("testVertex");
    vertex.setAccept(false);vertex.setHighlight(true);vertex.setColour(JUConstants.AMBER);vertex.setOrigState(VertexID.parseID("id"));vertex.setDepth(34);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
View Full Code Here
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
    DeterministicVertex vertex = new DeterministicVertex("testVertex");
    vertex.setAccept(false);vertex.setHighlight(true);vertex.setColour(JUConstants.AMBER);vertex.setOrigState(VertexID.parseID("id"));vertex.setDepth(34);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
View Full Code Here
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
    vertex.setAccept(false);vertex.setHighlight(true);vertex.setColour(JUConstants.AMBER);vertex.setOrigState(VertexID.parseID("id"));vertex.setDepth(34);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
View Full Code Here
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
View Full Code Here
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.DEPTH));
View Full Code Here
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.DEPTH));
  }
View Full Code Here
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.DEPTH));
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.DEPTH));
  }
 
View Full Code Here
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
   
    vertex.setAccept(true);vertex.setHighlight(false);vertex.setColour(null);vertex.setOrigState(null);vertex.setDepth(JUConstants.intUNKNOWN);
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.LABEL));
    Assert.assertTrue(vertex.containsUserDatumKey(JUConstants.ACCEPTED));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.HIGHLIGHT));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.COLOUR));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.ORIGSTATE));
    Assert.assertFalse(vertex.containsUserDatumKey(JUConstants.DEPTH));
  }
 
  /** Tests that types are correctly converted. */
 
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.