Package statechum.analysis.learning.rpnicore

Examples of statechum.analysis.learning.rpnicore.GDLearnerGraph$DetermineDiagonalAndRightHandSide


  static final Configuration config = Configuration.getDefaultConfiguration();

  public static void dumpEquations()
  {
    LearnerGraph example = new LearnerGraph(buildGraph("A-a->B-a->B-b->A / B-c->C / E-a->F-a->F-d->F-b->E-c->F""dumpEquations"),config);
    GDLearnerGraph ndGraph = new GDLearnerGraph(example,LearnerGraphND.ignoreRejectStates, false);
    GDLearnerGraph ndGraphInverse = new GDLearnerGraph(example,LearnerGraphND.ignoreRejectStates, true);
    dumpEquationsAndResults(example,ndGraph);
    System.out.println("-------------------");
    dumpEquationsAndResults(example,ndGraphInverse);
  }
View Full Code Here


public class StructuralDifferencesPaper {
  static final Configuration config = Configuration.getDefaultConfiguration();

  public static void dumpEquations()
  {
    GDLearnerGraph ndGraph = new GDLearnerGraph(new LearnerGraph(buildGraph("A-a->B-a->B-b->A / B-c->C / E-a->F-a->F-d->F-b->E-c->F""dumpEquations"),config),LearnerGraphND.ignoreRejectStates, false);
    final int [] incompatiblePairs = new int[ndGraph.getPairNumber()];
    final int pairsNumber = incompatiblePairs.length;
    for(int i=0;i<incompatiblePairs.length;++i) incompatiblePairs[i]=i;// emulate the behaviour or non-public part for(int i=0;i<incompatiblePairs.length;++i) incompatiblePairs[i]=PAIR_OK;final int pairsNumber = ndGraph.findIncompatiblePairs(incompatiblePairs,1);

    LSolver solver = ndGraph.buildMatrix_internal(incompatiblePairs, pairsNumber, 1,null);

    System.out.println(ndGraph.dumpEquations(solver, incompatiblePairs, null).toString())}
View Full Code Here

TOP

Related Classes of statechum.analysis.learning.rpnicore.GDLearnerGraph$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.