Package statechum.analysis.learning.smt

Examples of statechum.analysis.learning.smt.SmtLabelRepresentation$FunctionVariablesHandler


    result.testSet = labelio.readSequenceList((Element)nodesSequences.item(0),StatechumXML.ATTR_TESTSET.name());
    if (nodesLtl.getLength() > 0)
      result.ifthenSequences = stringio.readInputSequence(nodesLtl.item(0).getTextContent());
    if (nodesLabelDetails.getLength() > 0)
    {
      result.labelDetails = new SmtLabelRepresentation(result.config,getLabelConverter());
      result.labelDetails.loadXML( (Element)nodesLabelDetails.item(0),stringio );
    }
    result.graphNumber=graphNumber;
    return result;
  }
View Full Code Here


        } else if (fileString.startsWith(cmdComment)) {// do nothing
        } else if (fileString.startsWith(cmdShowLTL)) {
            showLTL = true;
        } else if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction)) {
            if (learnerInitConfiguration.labelDetails == null) {
                learnerInitConfiguration.labelDetails = new SmtLabelRepresentation(learnerInitConfiguration.config);
                dataDescription = new LinkedList<String>();
            }
            dataDescription.add(fileString.trim());
        } else {
            throw new IllegalArgumentException("invalid command " + fileString);
View Full Code Here

        } else if (fileString.startsWith(cmdComment)) {// do nothing
        } else if (fileString.startsWith(cmdShowLTL)) {
            showLTL = true;
        } else if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction)) {
            if (learnerInitConfiguration.labelDetails == null) {
                learnerInitConfiguration.labelDetails = new SmtLabelRepresentation(learnerInitConfiguration.config, learnerInitConfiguration.getLabelConverter());
                dataDescription = new LinkedList<String>();
            }
            dataDescription.add(fileString.trim());
        } else {
            throw new IllegalArgumentException("invalid command " + fileString);
View Full Code Here

    result.testSet = labelio.readSequenceList((Element)nodesSequences.item(0),StatechumXML.ATTR_TESTSET.name());
    if (nodesLtl.getLength() > 0)
      result.ifthenSequences = stringio.readInputSequence(nodesLtl.item(0).getTextContent());
    if (nodesLabelDetails.getLength() > 0)
    {
      result.labelDetails = new SmtLabelRepresentation(result.config,getLabelConverter());
      result.labelDetails.loadXML( (Element)nodesLabelDetails.item(0),stringio );
    }
    result.graphNumber=graphNumber;
    return result;
  }
View Full Code Here

    },config,converter);
    ltl = Arrays.asList(new String[] {
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new SmtLabelRepresentation(config,converter);
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+lbl(INITMEM)+" "+SmtLabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+lbl(INITMEM)+" "+SmtLabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+lbl("A")+" "+SmtLabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+lbl("A")+" "+SmtLabelRepresentation.OP_DATA.POST+ " somePostcondA",
View Full Code Here

        } else if (fileString.startsWith(cmdComment)) {// do nothing
        } else if (fileString.startsWith(cmdShowLTL)) {
            showLTL = true;
        } else if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction)) {
            if (learnerInitConfiguration.labelDetails == null) {
                learnerInitConfiguration.labelDetails = new SmtLabelRepresentation(learnerInitConfiguration.config, learnerInitConfiguration.getLabelConverter());
                dataDescription = new LinkedList<String>();
            }
            dataDescription.add(fileString.trim());
        } else {
            throw new IllegalArgumentException("invalid command " + fileString);
View Full Code Here

    },config);
    ltl = Arrays.asList(new String[] {
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new SmtLabelRepresentation(config);
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+lbl(INITMEM)+" "+SmtLabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+lbl(INITMEM)+" "+SmtLabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+lbl("A")+" "+SmtLabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+lbl("A")+" "+SmtLabelRepresentation.OP_DATA.POST+ " somePostcondA",
View Full Code Here

    },config,converter);
    ltl = Arrays.asList(new String[] {
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new SmtLabelRepresentation(config,converter);
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+lbl(INITMEM)+" "+SmtLabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+lbl(INITMEM)+" "+SmtLabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+lbl("A")+" "+SmtLabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+lbl("A")+" "+SmtLabelRepresentation.OP_DATA.POST+ " somePostcondA",
View Full Code Here

        } else if (fileString.startsWith(cmdComment)) {// do nothing
        } else if (fileString.startsWith(cmdShowLTL)) {
            showLTL = true;
        } else if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction)) {
            if (learnerInitConfiguration.labelDetails == null) {
                learnerInitConfiguration.labelDetails = new SmtLabelRepresentation(learnerInitConfiguration.config, learnerInitConfiguration.getLabelConverter());
                dataDescription = new LinkedList<String>();
            }
            dataDescription.add(fileString.trim());
        } else {
            throw new IllegalArgumentException("invalid command " + fileString);
View Full Code Here

    catch(ParserConfigurationException e)
    {
      statechum.Helper.throwUnchecked("failed to construct DOM document",e);
    }
 
    lbls = new SmtLabelRepresentation(config,converter);
    lbls.parseCollection(Arrays.asList(new String[]{
        QSMTool.cmdOperation+" "+INITMEM+" "+SmtLabelRepresentation.OP_DATA.PRE+ " varDeclP_N",
        QSMTool.cmdOperation+" "+INITMEM+" "+SmtLabelRepresentation.OP_DATA.PRE+ " varDeclQ_N",
        QSMTool.cmdOperation+" "+INITMEM+" "+SmtLabelRepresentation.OP_DATA.POST+ " initCond_N",
        QSMTool.cmdOperation+" "+"a"+" "+SmtLabelRepresentation.OP_DATA.PRE+ " somePrecondA_N",
View Full Code Here

TOP

Related Classes of statechum.analysis.learning.smt.SmtLabelRepresentation$FunctionVariablesHandler

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.