List of predictTransitions() Examples

Examples of predictTransitions()

statechum.analysis.learning.MarkovClassifier.predictTransitions()
This function is predicts transitions from each state.
- Where predictForward is true, we are predicting transitions based on paths leading to the state of interest. Parameter Inverse_Graph should be the (non-deterministic) inverse of graph.
- Where predictForward is false, we are predicting transitions based on paths leading from the state of interest (sideways predictions). Parameter Inverse_Graph should be the same as graph.
@return a list of possible of outgoing transitions from each state
statechum.analysis.learning.MarkovUniversalLearner.predictTransitions()
This function is predicts transitions from each state.
- Where predictForward is true, we are predicting transitions based on paths leading to the state of interest. Parameter Inverse_Graph should be the (non-deterministic) inverse of graph.
- Where predictForward is false, we are predicting transitions based on paths leading from the state of interest (sideways predictions). Parameter Inverse_Graph should be the same as graph.
@param tentativeAutomaton tentative Automaton @return a list of possible of outgoing transitions from each state

Examples of statechum.analysis.learning.MarkovUniversalLearner.predictTransitions()

    m.updateMarkov(graph,true,true);
    Assert.assertEquals(4,m.getMarkov(true).size());
    Assert.assertTrue(m.getMarkov(false).isEmpty());
    
    final LearnerGraph graph2 = FsmParser.buildLearnerGraph("A-a->B / A-c->A/ T-u->T-b->T","testPredictTransitionsFromStatesForward2",config, converter);
    Map<CmpVertex, Map<Label, MarkovOutcome>> predictions = m.predictTransitions(graph2,true);
    Assert.assertEquals(2,predictions.size());Assert.assertEquals(2,predictions.get(graph2.findVertex("A")).size());Assert.assertEquals(2,predictions.get(graph2.findVertex("B")).size());
    Assert.assertEquals(MarkovOutcome.positive,predictions.get(graph2.findVertex("A")).get(lblU));// because c is looping in the A state
    Assert.assertEquals(MarkovOutcome.positive,predictions.get(graph2.findVertex("A")).get(lblC));
    Assert.assertEquals(MarkovOutcome.negative,predictions.get(graph2.findVertex("B")).get(lblU));
    Assert.assertEquals(MarkovOutcome.positive,predictions.get(graph2.findVertex("B")).get(lblB));

View Full Code Here

Examples of statechum.analysis.learning.MarkovUniversalLearner.predictTransitions()

    m.updateMarkov(graph,true,true);
    Assert.assertEquals(4,m.getMarkov(true).size());
    Assert.assertTrue(m.getMarkov(false).isEmpty());
    
    final LearnerGraph graph2 = new LearnerGraph(config);graph2.getInit().setAccept(false);
    Map<CmpVertex, Map<Label, MarkovOutcome>> predictions = m.predictTransitions(graph2,true);
    Assert.assertTrue(predictions.isEmpty());
    predictions = m.predictTransitions(graph2,false);
    Assert.assertTrue(predictions.isEmpty());
  }

View Full Code Here

Examples of statechum.analysis.learning.MarkovUniversalLearner.predictTransitions()

    Assert.assertTrue(m.getMarkov(false).isEmpty());
    
    final LearnerGraph graph2 = new LearnerGraph(config);graph2.getInit().setAccept(false);
    Map<CmpVertex, Map<Label, MarkovOutcome>> predictions = m.predictTransitions(graph2,true);
    Assert.assertTrue(predictions.isEmpty());
    predictions = m.predictTransitions(graph2,false);
    Assert.assertTrue(predictions.isEmpty());
  }
  
  @Test
  public void testPredictTransitionsFromStatesForward3()

View Full Code Here

0 1 2 3 4

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.