Package statechum.analysis.learning.rpnicore

Examples of statechum.analysis.learning.rpnicore.LabelRepresentation$TraceWithData

206
207
208
209
210
211
212
213
214
215
216
    else
    if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction))
    {
      if (learnerInitConfiguration.labelDetails == null)
      {
        learnerInitConfiguration.labelDetails = new LabelRepresentation();
        dataDescription = new LinkedList<String>();
      }
      dataDescription.add(fileString.trim());
    }
    else
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
    });
    ltl = Arrays.asList(new String[] {
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new LabelRepresentation();
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.POST+ " somePostcondA",
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
    else
    if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction))
    {
      if (learnerInitConfiguration.labelDetails == null)
      {
        learnerInitConfiguration.labelDetails = new LabelRepresentation();
        dataDescription = new LinkedList<String>();
      }
      dataDescription.add(fileString.trim());
    }
    else
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
    });
    ltl = Arrays.asList(new String[] {
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new LabelRepresentation();
    labels.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.PRE+ " varDecl_N");
    labels.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.PRE+ " initCond_N");
    labels.parseLabel("A"+" "+LabelRepresentation.XM_DATA.PRE+ " somePrecondA");
    labels.parseLabel("A"+" "+LabelRepresentation.XM_DATA.POST+ " somePostcondA");
    labels.parseLabel("B"+" "+LabelRepresentation.XM_DATA.PRE+ " somePrecondB");
View Full Code Here
285
286
287
288
289
290
291
292
293
294
295
    result.testSet = readSequenceList((Element)nodesSequences.item(0),StatechumXML.ATTR_TESTSET.name());
    if (nodesLtl.getLength() > 0)
      result.ltlSequences = readInputSequence(new StringReader( nodesLtl.item(0).getTextContent() ),-1);
    if (nodesLabelDetails.getLength() > 0)
    {
      result.labelDetails = new LabelRepresentation();
      result.labelDetails.loadXML( (Element)nodesLabelDetails.item(0) );
    }
    result.graphNumber=graphNumber;
    return result;
  }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
    });
    ltl = Arrays.asList(new String[] {
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new LabelRepresentation();
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.POST+ " somePostcondA",
View Full Code Here
293
294
295
296
297
298
299
300
301
302
303
    result.testSet = readSequenceList((Element)nodesSequences.item(0),StatechumXML.ATTR_TESTSET.name());
    if (nodesLtl.getLength() > 0)
      result.ifthenSequences = readInputSequence(new StringReader( nodesLtl.item(0).getTextContent() ),-1);
    if (nodesLabelDetails.getLength() > 0)
    {
      result.labelDetails = new LabelRepresentation();
      result.labelDetails.loadXML( (Element)nodesLabelDetails.item(0) );
    }
    result.graphNumber=graphNumber;
    return result;
  }
View Full Code Here
186
187
188
189
190
191
192
193
194
195
196
    }
    else
    if (fileString.startsWith(cmdData))
    {
      if (learnerInitConfiguration.labelDetails == null)
        learnerInitConfiguration.labelDetails = new LabelRepresentation();
      learnerInitConfiguration.labelDetails.parseLabel(fileString.substring(cmdData.length()).trim());
    }
    else
      throw new IllegalArgumentException("invalid command "+fileString);
  }
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.rpnicore.LabelRepresentation$TraceWithData

  • statechum.analysis.learning.observers.ProgressDecorator
  • statechum.analysis.learning.observers.TestWriteReadLearnerEvaluation
  • statechum.analysis.learning.Smt
  • statechum.apps.QSMTool
  • statechum.DeterministicDirectedSparseGraph.CmpVertex
  • statechum.model.testset.PTASequenceEngine
  • statechum.model.testset.PTASequenceEngine.SequenceSet
  • java.io.StringWriter
  • java.io.StringReader
  • org.w3c.dom.Element
    • 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.