Package statechum.analysis.learning.rpnicore

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


    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


    });
    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

    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

    });
    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

    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

    });
    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

    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

    }
    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$CompositionOfFunctions

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.