Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex

1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
    }
    long lastScore = -1;
    for(StatePair elem:pairs)
    {
      doneEdges = new HashSet<DirectedSparseEdge>();
      DeterministicVertex origBlue = DeterministicDirectedSparseGraph.findVertexNamed(elem.getQ(), g);
      DeterministicVertex origRed = DeterministicDirectedSparseGraph.findVertexNamed(elem.getR(), g);
      long currentScore = computeScore(g, new OrigStatePair(origBlue,origRed));// This one returns vertices from g, but elem may easily contain StringVertices and such, hence convert elem to Vertex-pair.
      PairScore elA = constructPairScore(elem.getQ().getStringId(),elem.getR().getStringId(),currentScore, testConfig);
      PairScore elB = constructPairScore(elem.getR().getStringId(),elem.getQ().getStringId(),currentScore, testConfig);
      Assert.assertTrue(elem.getR().getColour() == JUConstants.RED);
      Assert.assertTrue(elem.getQ().getColour() == JUConstants.BLUE);
View Full Code Here
578
579
580
581
582
583
584
585
  {
    synchronized(syncObj)
    {
      return conf.isLearnerUseStrings()?
          new StringVertex(name):
          new DeterministicVertex(name);     
    }   
  }
View Full Code Here
390
391
392
393
394
395
396
 
  /** Tests that I can assign colours meaningfully on Deterministic and String vertices. */
  @Test
  public final void testColourSetting1()
  {
    testColourHelper(new DeterministicVertex("testA"));
  }
View Full Code Here
419
420
421
422
423
424
425
426
  {
    Configuration conf = Configuration.getDefaultConfiguration();conf.setAllowedToCloneNonCmpVertex(false);
    conf.setLearnerCloneGraph(true);
   
    conf.setLearnerUseStrings(true);
    CmpVertex vA = new DeterministicVertex("test vertex");vA.setColour(JUConstants.RED);
    cloneTestHelper(vA, conf);
  }
View Full Code Here
431
432
433
434
435
436
437
438
  {
    Configuration conf = Configuration.getDefaultConfiguration();conf.setAllowedToCloneNonCmpVertex(false);
    conf.setLearnerCloneGraph(true);
   
    conf.setLearnerUseStrings(false);
    CmpVertex vB = new DeterministicVertex("test vertex");vB.setColour(JUConstants.RED);
    cloneTestHelper(vB, conf);
  }
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
 
  /** 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, 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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
 
  /** 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", 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
124
125
126
127
128
129
130
131
132
133
134
135
 
  /** 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
136
137
138
139
140
141
142
143
144
145
146
147
 
  /** 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
147
148
149
150
151
152
153
154
  }
 
  @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
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.