Examples of nextID()


Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.actualLearner=estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta,false).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.actualLearner=estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta,false).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.difference = estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.difference = estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

            LearnerGraph.copyGraphs(initPta, graph);
          else
          {
            if (alphabet != null)
            {// Create a state to ensure that the entire alphabet is visible when if-then automata are loaded.
              CmpVertex dummyState = AbstractLearnerGraph.generateNewCmpVertex(graph.nextID(true), bfLearnerInitConfiguration.config);
              Map<Label,CmpVertex> row = graph.createNewRow();
              for(Label lbl:alphabet.keySet()) graph.addTransition(row, lbl, dummyState);
              graph.transitionMatrix.put(dummyState, row);
            }
          }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.difference = estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

        public LearnerGraph init(PTASequenceEngine engine, int plusSize, int minusSize)
        {
          LearnerGraph graph = decoratedLearner.init(engine,plusSize,minusSize);
          Set<Label> alphabet = graph.pathroutines.computeAlphabet();
          // Create a state to ensure that the entire alphabet is visible when if-then automata are loaded.
          phantomVertex = graph.nextID(true);
          CmpVertex dummyState = AbstractLearnerGraph.generateNewCmpVertex(phantomVertex, bfLearnerInitConfiguration.config);
          Map<Label,CmpVertex> row = graph.createNewRow();
          for(Label lbl:alphabet) graph.addTransition(row, lbl, dummyState);
          graph.transitionMatrix.put(dummyState, row);
       
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          }
          else
          {
            Set<Label> alphabet = graph.pathroutines.computeAlphabet();
            // Create a state to ensure that the entire alphabet is visible when if-then automata are loaded.
            phantomVertex = graph.nextID(true);
            CmpVertex dummyState = AbstractLearnerGraph.generateNewCmpVertex(phantomVertex, bfLearnerInitConfiguration.config);
            Map<Label,CmpVertex> row = graph.createNewRow();
            for(Label lbl:alphabet) graph.addTransition(row, lbl, dummyState);
            graph.transitionMatrix.put(dummyState, row);
          }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.actualLearner=estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta,false).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.LearnerGraph.nextID()

          {
            assert rejectVertexID == null : "multiple reject vertices in learnt automaton, such as "+rejectVertexID+" and "+v;
            rejectVertexID = v;break;
          }
        if (rejectVertexID == null)
          rejectVertexID = actualAutomaton.nextID(false);
        SampleData dataSample = new SampleData(null,null);
        if (learnUsingReferenceLearner)
        {
          dataSample.difference = estimateDifference(referenceGraph,actualAutomaton,testSet);
          LearnerGraph outcomeOfReferenceLearner = new ReferenceLearner(learnerEval,referenceGraph,pta).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
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.