Package statechum.analysis.learning.rpnicore.Linear

Examples of statechum.analysis.learning.rpnicore.Linear.DetermineDiagonalAndRightHandSide


  @Test
  public final void testCountMatchingOutgoing6b()
  {
    LearnerGraph gr=new LearnerGraph(TestFSMAlgo.buildGraph("A-a-#B\nA-b-#B1\nQ-a->R", "testCountMatchingOutgoing1"), Configuration.getDefaultConfiguration());
    gr.linear.moveRejectToHightlight();
    DetermineDiagonalAndRightHandSide matcher = new Linear.DDRH_highlight();
    matcher.compute(gr.transitionMatrix.get(gr.findVertex("A")),gr.transitionMatrix.get(gr.findVertex("R")));
    Assert.assertEquals(0,matcher.getRightHandSide());
  }
View Full Code Here

TOP

Related Classes of statechum.analysis.learning.rpnicore.Linear.DetermineDiagonalAndRightHandSide

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.