Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.VertexID

81
82
83
84
85
86
87
88
89
  /** The configuration to use when running tests. */
  private Configuration testConfig = null, mainConfiguration = null;

  static public PairScore constructPairScore(String a,String b, int score, Configuration config)
  {
    CmpVertex aV = LearnerGraph.generateNewCmpVertex(new VertexID(a), config),
      bV = LearnerGraph.generateNewCmpVertex(new VertexID(b),config);
    return new PairScore(aV,bV, score,score);
  }
View Full Code Here
229
230
231
232
233
234
235
236
 
  @Test
  public void testGraphConstructionFail2()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);v.addUserDatum(JUConstants.LABEL, new VertexID("B"), UserData.SHARED);
    checkWithVertex(v, "multiple", "testGraphConstructionFail2");
  }
View Full Code Here
237
238
239
240
241
242
243
244
 
  @Test
  public void testGraphConstructionFail3()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);v.addUserDatum(JUConstants.LABEL, new VertexID("CONFL"), UserData.SHARED);
    checkWithVertex(v, "multiple", "testGraphConstructionFail3");
  }
View Full Code Here
245
246
247
248
249
250
251
252
 
  @Test
  public void testGraphConstructionFail4a()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);v.addUserDatum(JUConstants.LABEL, new VertexID("Q"), UserData.SHARED);v.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    checkWithVertex(v, "labelled as initial states", "testGraphConstructionFail4a");
  }
View Full Code Here
253
254
255
256
257
258
259
260
 
  @Test
  public void testGraphConstructionFail4b()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);v.addUserDatum(JUConstants.LABEL, new VertexID("Q"), UserData.SHARED);v.addUserDatum(JUConstants.INITIAL, new VertexID("aa"), UserData.SHARED);
    checkWithVertex(v, "invalid init property", "testGraphConstructionFail4b");
  }
View Full Code Here
261
262
263
264
265
266
267
268
 
  @Test
  public void testGraphConstructionFail5a()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);v.addUserDatum(JUConstants.LABEL, new VertexID("Q"), UserData.SHARED);v.addUserDatum(JUConstants.INITIAL, "aa", UserData.SHARED);
    checkWithVertex(v, "invalid init property", "testGraphConstructionFail5a");
  }
View Full Code Here
269
270
271
272
273
274
275
276
 
  @Test
  public void testGraphConstructionFail5b()
  {
    DirectedSparseVertex v = new DirectedSparseVertex();
    v.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);v.addUserDatum(JUConstants.LABEL, new VertexID("Q"), UserData.SHARED);v.addUserDatum(JUConstants.INITIAL, false, UserData.SHARED);
    checkWithVertex(v, "invalid init property", "testGraphConstructionFail5b");
  }
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
  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, new VertexID("name"), UserData.SHARED);Assert.assertEquals("name", vA.getID().toString());
    vA.setUserDatum(JUConstants.LABEL, new VertexID("D"), UserData.SHARED);Assert.assertEquals("D", vA.getID().toString());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.LABEL, new VertexID("name"), UserData.SHARED);Assert.assertEquals("name", vS.getID().toString());
  }
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
  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", new VertexID("name"), UserData.SHARED);Assert.assertEquals("name", vA.getID().toString());
    vA.setUserDatum("labEl", new VertexID("D"), UserData.SHARED);Assert.assertEquals("D", vA.getID().toString());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum("laBel", new VertexID("name"), UserData.SHARED);Assert.assertEquals("name", vS.getID().toString());
  }
View Full Code Here
310
311
312
313
314
315
316
317
318
319
  /** Normal copying successful. */
  @Test
  public final void testVertexClone1b()
  {
    Configuration conf = Configuration.getDefaultConfiguration();conf.setAllowedToCloneNonCmpVertex(true);
    DirectedSparseVertex vertex = new DirectedSparseVertex();vertex.addUserDatum(JUConstants.LABEL, new VertexID("name"), UserData.SHARED);
    CmpVertex result = LearnerGraph.cloneCmpVertex(vertex, conf);
    Assert.assertEquals("name", result.getID().toString());
    Assert.assertTrue(result.isAccept());Assert.assertFalse(result.isHighlight());Assert.assertNull(result.getColour());
  }
View Full Code Here
TOP

Related Classes of statechum.DeterministicDirectedSparseGraph.VertexID

  • collections.TestMapWithSearch
  • statechum.analysis.learning.experiments.ExperimentGraphMLHandler
  • statechum.analysis.learning.experiments.ForestFireNDStateMachineGenerator
  • statechum.analysis.learning.experiments.ForestFireStateMachineGenerator
  • statechum.analysis.learning.experiments.mutation.GraphMutator
  • statechum.analysis.learning.linear.GD
  • statechum.analysis.learning.linear.GD$DCollector
  • statechum.analysis.learning.linear.GD$LearnerGraphMutator
  • statechum.analysis.learning.linear.TestGD_Multithreaded
  • statechum.analysis.learning.linear.TestLinear
    • 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.