Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.CmpVertex.addUserDatum()

112
113
114
115
116
117
118
119
120
121
122
       
        if (fromVertex == null)
        {
          fromVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
          if (existingVertices.isEmpty())
            fromVertex.addUserDatum(JUConstants.PROPERTY, JUConstants.INIT, UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.LABEL, from, UserData.SHARED);
          existingVertices.put(from, fromVertex);
          g.addVertex(fromVertex);
        }
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
        if (fromVertex == null)
        {
          fromVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
          if (existingVertices.isEmpty())
            fromVertex.addUserDatum(JUConstants.PROPERTY, JUConstants.INIT, UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.LABEL, from, UserData.SHARED);
          existingVertices.put(from, fromVertex);
          g.addVertex(fromVertex);
        }
        else
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
        {
          fromVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
          if (existingVertices.isEmpty())
            fromVertex.addUserDatum(JUConstants.PROPERTY, JUConstants.INIT, UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.LABEL, from, UserData.SHARED);
          existingVertices.put(from, fromVertex);
          g.addVertex(fromVertex);
        }
        else
          if (!Boolean.valueOf(fromVertex.getUserDatum(JUConstants.ACCEPTED).toString()))
View Full Code Here
733
734
735
736
737
738
739
740
741
742
743
  {
    String vertName = (String)origVertex.getUserDatum(JUConstants.LABEL);
    CmpVertex newVertex = newVertices.get(vertName);
    if (newVertex == null) {
      newVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
      newVertex.addUserDatum(JUConstants.LABEL, vertName, UserData.SHARED);
      newVertex.addUserDatum(JUConstants.ACCEPTED, TestRpniLearner.isAccept(origVertex)? "true":"false", UserData.SHARED);
      Object property = origVertex.getUserDatum(JUConstants.PROPERTY);
      if (property != null) newVertex.addUserDatum(JUConstants.PROPERTY, property, UserData.SHARED);
      newVertices.put(vertName,newVertex);g.addVertex(newVertex);
    }
View Full Code Here
734
735
736
737
738
739
740
741
742
743
744
    String vertName = (String)origVertex.getUserDatum(JUConstants.LABEL);
    CmpVertex newVertex = newVertices.get(vertName);
    if (newVertex == null) {
      newVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
      newVertex.addUserDatum(JUConstants.LABEL, vertName, UserData.SHARED);
      newVertex.addUserDatum(JUConstants.ACCEPTED, TestRpniLearner.isAccept(origVertex)? "true":"false", UserData.SHARED);
      Object property = origVertex.getUserDatum(JUConstants.PROPERTY);
      if (property != null) newVertex.addUserDatum(JUConstants.PROPERTY, property, UserData.SHARED);
      newVertices.put(vertName,newVertex);g.addVertex(newVertex);
    }
    return newVertex;
View Full Code Here
736
737
738
739
740
741
742
743
744
745
746
    if (newVertex == null) {
      newVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
      newVertex.addUserDatum(JUConstants.LABEL, vertName, UserData.SHARED);
      newVertex.addUserDatum(JUConstants.ACCEPTED, TestRpniLearner.isAccept(origVertex)? "true":"false", UserData.SHARED);
      Object property = origVertex.getUserDatum(JUConstants.PROPERTY);
      if (property != null) newVertex.addUserDatum(JUConstants.PROPERTY, property, UserData.SHARED);
      newVertices.put(vertName,newVertex);g.addVertex(newVertex);
    }
    return newVertex;
  }
 
View Full Code Here
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
   */
  private CmpVertex addVertex(CmpVertex prevState, boolean accepted, String input)
  {
    assert Thread.holdsLock(syncObj);
    CmpVertex newVertex = new DeterministicDirectedSparseGraph.DeterministicVertex();
    newVertex.addUserDatum(JUConstants.LABEL,
        nextID(accepted),
        UserData.SHARED);
    newVertex.setUserDatum(JUConstants.ACCEPTED, ""+accepted, UserData.SHARED);
    transitionMatrix.put(newVertex, new TreeMap<String,CmpVertex>());
    transitionMatrix.get(prevState).put(input,newVertex);
View Full Code Here
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
    int position = 0;
    while(inputIt.hasNext() && currentState != null)
    {
      if (!TestRpniLearner.isAccept(currentState))
      {// not the last state and the already-reached state is not accept, while all prefixes of reject sequences should be accept ones.
        currentState.addUserDatum("pair", "whatever", UserData.SHARED);
        throw new IllegalArgumentException("incompatible "+(accepted?"accept":"reject")+" labelling: "+sequence.subList(0, position));
      }
      prevState = currentState;lastInput = inputIt.next();++position;
     
      currentState = transitionMatrix.get(prevState).get(lastInput);
View Full Code Here
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
    }
    else
    {// we reached the end of the PTA
      if (TestRpniLearner.isAccept(currentState) != accepted)
      {
        currentState.addUserDatum("pair", "whatever", UserData.SHARED);
        throw new IllegalArgumentException("incompatible "+(accepted?"accept":"reject")+" labelling: "+sequence.subList(0, position));
      }
     
    }
 
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.