Package statechum.analysis.learning.rpnicore

Examples of statechum.analysis.learning.rpnicore.AMEquivalenceClass$IncompatibleStatesException

696
697
698
699
700
701
702
  }

  @Test(expected=IllegalArgumentException.class)
  public void testEqClassEquality_fail1()
  {
    new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{}));
  }
View Full Code Here
702
703
704
705
706
707
708
  }
 
  @Test(expected=IllegalArgumentException.class)
  public void testEqClassEquality_fail2()
  {
    new AMEquivalenceClass(null);
  }
View Full Code Here
709
710
711
712
713
714
715
716
 
  @Test
  public void testEqClass_toString1()
  {
    Assert.assertEquals("[B->{B,A,D}]",
    new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("B"),new StringVertex("A"),new StringVertex("D")})).toString());   
  }
View Full Code Here
717
718
719
720
721
722
723
724
 
  @Test
  public void testEqClass_toString2()
  {
    Assert.assertEquals("[B->{B}]",
    new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("B")})).toString());   
  }
View Full Code Here
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
 
  @Test
  public void testEqClassEquality1()
  {
    equalityTestingHelper(
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B"),new StringVertex("A"),new StringVertex("C")})),
       
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B"),new StringVertex("A"),new StringVertex("C")})),

        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("A"),new StringVertex("A"),new StringVertex("C")})),
   
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B"),new StringVertex("A"),new StringVertex("D")}))
    );
  }
View Full Code Here
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
  @Test
  public void testEqClassEquality2()
  {
    equalityTestingHelper(
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B")})),
       
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B")})),

        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("A"),new StringVertex("A"),new StringVertex("C")})),
   
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B"),new StringVertex("A"),new StringVertex("D")}))
    );
  }
View Full Code Here
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
  @Test
  public void testEqClassEquality3()
  {
    equalityTestingHelper(
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("A"),new StringVertex("B"),new StringVertex("C")})),
       
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("A"),new StringVertex("B"),new StringVertex("C")})),

        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("A"),new StringVertex("B"),new StringVertex("D")})),
   
        new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
            new StringVertex("B"),new StringVertex("A"),new StringVertex("C")}))
    );
  }
View Full Code Here
778
779
780
781
782
783
784
785
786
787
  }

  @Test
  public final void testAM_colour1()
  {
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("A"),new StringVertex("B"),new StringVertex("C")}));
    eq.computeMergedColour();
    Assert.assertNull(eq.getMergedVertex().getColour());
  }
View Full Code Here
789
790
791
792
793
794
795
796
797
798
  @Test
  public final void testAM_colour2a()
  {
    CmpVertex vertB = new StringVertex("B");vertB.setColour(JUConstants.RED);
    CmpVertex vertC = new StringVertex("C");
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("A"),vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertTrue(eq.getMergedVertex().getColour() == JUConstants.RED);
  }
View Full Code Here
800
801
802
803
804
805
806
807
808
809
  @Test
  public final void testAM_colour2b()
  {
    CmpVertex vertB = new StringVertex("B");vertB.setColour(JUConstants.BLUE);
    CmpVertex vertC = new StringVertex("C");
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("A"),vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertTrue(eq.getMergedVertex().getColour() == JUConstants.BLUE);
  }
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.rpnicore.AMEquivalenceClass$IncompatibleStatesException

  • statechum.analysis.learning.rpnicore.PairScoreComputation.LabelVertexPair
  • statechum.analysis.learning.rpnicore.PairScoreComputation.StringVertexPair
  • statechum.analysis.learning.TestFSMAlgo
  • statechum.JUConstants
    • 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.