Package statechum

Examples of statechum.StringVertex

632
633
634
635
636
637
638
  }
 
  @Test
  public void checkSComparison1()
  {
    checkLessHelper(SvertA, new StringVertex("b"));
  }
View Full Code Here
638
639
640
641
642
643
644
645
  }
 
  @Test
  public void checkComparison_differentTypes()
  {
    checkLessHelper(DvertA, new StringVertex("b"));
    checkLessHelper(SvertA, new DeterministicVertex("b"));
  }
View Full Code Here
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
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
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
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
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
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
787
788
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
798
799
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.StringVertex

  • statechum.analysis.learning.experiments.ForestFireNDStateMachineGenerator
  • statechum.analysis.learning.rpnicore.AbstractLearnerGraph
  • statechum.analysis.learning.rpnicore.AngluinLearner
  • statechum.analysis.learning.rpnicore.LearnerGraph
  • statechum.analysis.learning.rpnicore.TestEqualityComparisonAndHashCode
  • statechum.analysis.learning.rpnicore.TestGraphConstruction
  • statechum.analysis.learning.rpnicore.TestGraphConstructionWithDifferentConf
  • statechum.analysis.learning.rpnicore.TestWMethod
  • statechum.analysis.learning.TestFSMAlgo
  • statechum.DeterministicDirectedSparseGraph.CmpVertex
    • 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.