Examples of AbstractState

com.clearnlp.component.state.AbstractState
@since 2.0.1 @author Jinho D. Choi ({@code jdchoi77@gmail.com})
org.jakstab.analysis.AbstractState
@author Johannes Kinder
org.jamesii.core.model.AbstractState
The Class AbstractState is a simple, and abstract implementation of a state of a model. It just adds convenience methods for update propagation. @author Jan Himmelspach
statechum.analysis.learning.rpnicore.LabelRepresentation.AbstractState
statechum.analysis.learning.smt.SmtLabelRepresentation.AbstractState

Examples of statechum.analysis.learning.smt.SmtLabelRepresentation.AbstractState

  {
    SmtLabelRepresentation lbls = new SmtLabelRepresentation(config,converter);
    lbls.parseCollection(declsForTestsOfAbstractStates);
    lbls.buildVertexToAbstractStateMap(buildLearnerGraph("stA-A->stB-B->stC-A->stD", "testCreateConjunction1", config,converter),null,true);
    int number0 = 10,number1=15,number2=20;
    AbstractState stateInit = lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("Init"),config),number0);
    AbstractState stateAfterA = lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("AfterA"),config),stateInit,
        lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("A",lbls.config)),
        lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("IO1",lbls.config)).post,number1);
    AbstractState stateAfterB = lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("AfterB"),config),stateAfterA,
        lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("B",lbls.config)),
        lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("IO2",lbls.config)).post,number2);
    Assert.assertEquals("varDeclP"+__P+number0+" varDeclQ"+__P+number0+ENDL+
        "varDeclP"+__P+number1+" varDeclQ"+__P+number1+ENDL+
        "varDeclP"+__P+number2+" varDeclQ"+__P+number2,stateAfterB.variableDeclarations);

View Full Code Here

Examples of statechum.analysis.learning.smt.SmtLabelRepresentation.AbstractState

    lbls.parseCollection(declsForTestsOfAbstractStates);
    lbls.buildVertexToAbstractStateMap(buildLearnerGraph("stA-A->stB-B->stC-A->stD", "testCreateConjunction1", config,converter),null,true);
    
    Helper.checkForCorrectException(new whatToRun() { @SuppressWarnings("unused")
    public @Override void run() {
      lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("AfterA"),config),null,
          lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("A",lbls.config)),
              lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("IO1",lbls.config)).post,7);
    }},IllegalArgumentException.class, "previous state");
  }

View Full Code Here

Examples of statechum.analysis.learning.smt.SmtLabelRepresentation.AbstractState

    lbls.parseCollection(declsForTestsOfAbstractStates);
    lbls.buildVertexToAbstractStateMap(buildLearnerGraph("stA-A->stB-B->stC-A->stD", "testCreateConjunction1", config,converter),null,true);
    
    Helper.checkForCorrectException(new whatToRun() { @SuppressWarnings("unused")
    public @Override void run() {
      AbstractState stateInit = lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("Init"),config),6);
      lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("AfterA"),config),stateInit,null,null,7);
    }},IllegalArgumentException.class, "previous state");
  }

View Full Code Here

Examples of statechum.analysis.learning.smt.SmtLabelRepresentation.AbstractState

    lbls.parseCollection(declsForTestsOfAbstractStates);
    lbls.buildVertexToAbstractStateMap(buildLearnerGraph("stA-A->stB-B->stC-A->stD", "testCreateConjunction1", config,converter),null,true);
    
    Helper.checkForCorrectException(new whatToRun() { @SuppressWarnings("unused")
    public @Override void run() {
      AbstractState stateInit = lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("Init"),config),6);
      lbls.new AbstractState(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("AfterA"),config),stateInit,null,
          lbls.labelMapFinal.get(AbstractLearnerGraph.generateNewLabel("IO1",lbls.config)).post,7);
    }},IllegalArgumentException.class, "previous state");
  }

View Full Code Here

0 1 2 3 4 5

TOP

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.