Examples of removeTransition()

Examples of statechum.analysis.learning.rpnicore.GD.ChangesRecorder.removeTransition()

840
841
842
843
844
845
846
847
848
849
850
    graph.findVertex("B").setDepth(5);graph.findVertex("D").setColour(JUConstants.AMBER);
   
    graph.addToCompatibility(graph.findVertex("A"), graph.findVertex("B"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    ChangesRecorder patcher = new ChangesRecorder(null);
    patcher.addTransition(graph.findVertex("B"), "c", graph.findVertex("B"));
    patcher.removeTransition(graph.findVertex("A"), "a", graph.findVertex("B"));
    patcher.removeFromCompatibility(graph.findVertex("B"), graph.findVertex("A"));
    patcher.addToCompatibility(graph.findVertex("B"), graph.findVertex("S"),JUConstants.PAIRCOMPATIBILITY.INCOMPATIBLE);
    patcher.addTransition(graph.findVertex("A"), "q", graph.findVertex("B"));
    patcher.setInitial(graph.findVertex("A"));
    patcher.addRelabelling(VertexID.parseID("A"), VertexID.parseID("U"));
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesRecorder.removeTransition()

798
799
800
801
802
803
804
805
806
807
808
  public final void testWriteAndLoad3()
  {
    LearnerGraph graph = new LearnerGraph(buildGraph("A-a->B-a-#C\nA-d-#D\nA-c->A","testAddTransitions4"),Configuration.getDefaultConfiguration());
    ChangesRecorder patcher = new ChangesRecorder(null);
    patcher.addTransition(graph.findVertex("B"), "c", graph.findVertex("B"));
    patcher.removeTransition(graph.findVertex("A"), "a", graph.findVertex("B"));
    patcher.addTransition(graph.findVertex("A"), "q", graph.findVertex("B"));
    patcher.setInitial(graph.findVertex("A"));
    ChangesRecorder.applyGD(graph, patcher.writeGD(createDoc()));
    LearnerGraph expected = new LearnerGraph(buildGraph("A-q->B-a-#C\nA-d-#D\nA-c->A\nB-c->B","testWriteAndLoad1"),Configuration.getDefaultConfiguration());
    WMethod.checkM_and_colours(expected, graph, VERTEX_COMPARISON_KIND.DEEP);
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesRecorder.removeTransition()

813
814
815
816
817
818
819
820
821
822
823
  public final void testWriteAndLoad4()
  {
    LearnerGraph graph = new LearnerGraph(buildGraph("A-a->B-a-#C\nA-d-#D\nA-c->A","testAddTransitions4"),Configuration.getDefaultConfiguration());
    final ChangesRecorder patcher = new ChangesRecorder(null);
    patcher.addTransition(graph.findVertex("B"), "c", graph.findVertex("B"));
    patcher.removeTransition(graph.findVertex("A"), "a", graph.findVertex("B"));
    patcher.addTransition(graph.findVertex("A"), "q", graph.findVertex("B"));
    checkForCorrectException(new whatToRun() { public void run() {
      patcher.writeGD(createDoc());}},
    IllegalArgumentException.class,"init state is was not defined");
  }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.GD.ChangesRecorder.removeTransition()

830
831
832
833
834
835
836
837
838
839
840
    graph.findVertex("B").setDepth(5);graph.findVertex("D").setColour(JUConstants.AMBER);
   
    graph.addToIncompatibles(graph.findVertex("A"), graph.findVertex("B"));
    ChangesRecorder patcher = new ChangesRecorder(null);
    patcher.addTransition(graph.findVertex("B"), "c", graph.findVertex("B"));
    patcher.removeTransition(graph.findVertex("A"), "a", graph.findVertex("B"));
    patcher.removeIncompatible(graph.findVertex("B"), graph.findVertex("A"));
    patcher.addIncompatible(graph.findVertex("B"), graph.findVertex("S"));
    patcher.addTransition(graph.findVertex("A"), "q", graph.findVertex("B"));
    patcher.setInitial(graph.findVertex("A"));
    patcher.addRelabelling(VertexID.parseID("A"), VertexID.parseID("U"));
View Full Code Here

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

647
648
649
650
651
652
653
654
655
656
657
      else
      {
        Map<Label,CmpVertex> row = trimmedOne.transitionMatrix.get(entry.getKey());
        for(Entry<Label,CmpVertex> targetRow:entry.getValue().entrySet())
          for(CmpVertex target:graph.getTargets(targetRow.getValue()))
            if (whatToRemove.contains(target)) trimmedOne.removeTransition(row, targetRow.getKey(), target);
      }
    return trimmedOne;
    }
   
     public class RPNIBlueFringe
View Full Code Here

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

628
629
630
631
632
633
634
635
636
637
638
      else
      {
        Map<Label,CmpVertex> row = trimmedOne.transitionMatrix.get(entry.getKey());
        for(Entry<Label,CmpVertex> targetRow:entry.getValue().entrySet())
          for(CmpVertex target:graph.getTargets(targetRow.getValue()))
            if (whatToRemove.contains(target)) trimmedOne.removeTransition(row, targetRow.getKey(), target);
      }
    return trimmedOne;
    }
   
     public class RPNIBlueFringe
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.