Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex

195
196
197
198
199
200
201
202
203
204
  public void testAddEdgeFail1()
  {
    gen = new ForestFireLabelledStateMachineGenerator(0.3,0.2,0.2,0.1,0,0 ,config,converter);
    gen.machine = FsmParser.buildLearnerGraph("A-L0->B / A-L1->C / A-L2->D", "testAddEdgeFail2" ,config,converter).pathroutines.getGraph();
    gen.vertices = new LinkedList<DeterministicVertex>();gen.vertices.addAll(getGenMachineVertices());
    final DeterministicVertex vA = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("A"),gen.machine),
    vB = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("B"),gen.machine);
   
    Assert.assertFalse(gen.addEdgeInternal(vA, vB));// this fails to add a label
  }
View Full Code Here
207
208
209
210
211
212
213
214
215
216
  public void testAddEdgeFail2()
  {
    gen = new ForestFireLabelledStateMachineGenerator(0.3,0.2,0.2,0.1,2,0 ,config,converter);
    gen.machine = FsmParser.buildLearnerGraph("A-L0->B / A-L1->C / A-L2->D", "testAddEdgeFail2" ,config,converter).pathroutines.getGraph();
    gen.vertices = new LinkedList<DeterministicVertex>();gen.vertices.addAll(getGenMachineVertices());
    final DeterministicVertex vA = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("A"),gen.machine),
    vB = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("B"),gen.machine);
   
    Assert.assertFalse(gen.addEdgeInternal(vA, vB));// this fails to add a label
  }
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
  @Test
  public void testSelectVertices()
  {
    gen.machine = FsmParser.buildLearnerGraph("A-a->B-a->C\nA-b->B-c->C-a->D-a->E", "testRandomVertexSelection1" ,config,converter).pathroutines.getGraph();
    gen.vertices = new LinkedList<DeterministicVertex>();gen.vertices.addAll(getGenMachineVertices());
    final DeterministicVertex
      vA = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("A"),gen.machine),
      vB = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("B"),gen.machine),
      vC = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("C"),gen.machine),
      vD = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("D"),gen.machine),
      vE = (DeterministicVertex) DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL,VertexID.parseID("E"),gen.machine);
View Full Code Here
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
 
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_name1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
   
    // here I cannot add, only set since the ID has already been set.
    vA.setUserDatum(JUConstants.LABEL, VertexID.parseID("name"), UserData.SHARED);Assert.assertEquals("name", vA.getStringId());
    vA.setUserDatum(JUConstants.LABEL, VertexID.parseID("D"), UserData.SHARED);Assert.assertEquals("D", vA.getStringId());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.LABEL, VertexID.parseID("name"), UserData.SHARED);Assert.assertEquals("name", vS.getStringId());
  }
View Full Code Here
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
 
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_name2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");

    // here I cannot add, only set since the ID has already been set.
    vA.setUserDatum("lAbel", VertexID.parseID("name"), UserData.SHARED);Assert.assertEquals("name", vA.getStringId());
    vA.setUserDatum("labEl", VertexID.parseID("D"), UserData.SHARED);Assert.assertEquals("D", vA.getStringId());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum("laBel", VertexID.parseID("name"), UserData.SHARED);Assert.assertEquals("name", vS.getStringId());
  }
View Full Code Here
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
 
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_accepted1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);Assert.assertTrue(vA.isAccept());
    vA.setUserDatum(JUConstants.ACCEPTED, "false", UserData.SHARED);Assert.assertFalse(vA.isAccept());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.ACCEPTED, "false", UserData.SHARED);Assert.assertFalse(vS.isAccept());
  }
View Full Code Here
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
 
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_accepted2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("acCepted", "truE", UserData.SHARED);Assert.assertTrue(vA.isAccept());
    vA.setUserDatum("accePted", "faLse", UserData.SHARED);Assert.assertFalse(vA.isAccept());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum("acceptEd", "fAlse", UserData.SHARED);Assert.assertFalse(vS.isAccept());
  }
View Full Code Here
1680
1681
1682
1683
1684
1685
1686
1687
  }
 
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_accepted_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("accePted", "junk", UserData.SHARED);
  }
View Full Code Here
1687
1688
1689
1690
1691
1692
1693
1694
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_accepted_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("accePted", new Object(), UserData.SHARED);
  }
View Full Code Here
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_highlight1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    Assert.assertFalse(vA.isHighlight());
    vA.addUserDatum(JUConstants.HIGHLIGHT, "true", UserData.SHARED);Assert.assertTrue(vA.isHighlight());
    vA.setUserDatum(JUConstants.HIGHLIGHT, "false", UserData.SHARED);
    Assert.assertFalse(vA.isHighlight());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.HIGHLIGHT, "false", UserData.SHARED);Assert.assertFalse(vS.isHighlight());
  }
View Full Code Here
TOP

Related Classes of statechum.DeterministicDirectedSparseGraph.DeterministicVertex

  • statechum.analysis.learning.experiments.ForestFireStateMachineGenerator
  • statechum.analysis.learning.experiments.TestForestFireGenerator
  • statechum.analysis.learning.linear.DifferenceVisualiser$ChangesToGraph
  • statechum.analysis.learning.rpnicore.AbstractLearnerGraph
  • statechum.analysis.learning.rpnicore.AbstractPathRoutines
  • statechum.analysis.learning.rpnicore.FsmParser
  • statechum.analysis.learning.rpnicore.LearnerGraph
  • statechum.analysis.learning.rpnicore.MergeStates
  • statechum.analysis.learning.rpnicore.PathRoutines
  • statechum.analysis.learning.rpnicore.TestEqualityComparisonAndHashCode
    • 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.