Package statechum.analysis.learning.rpnicore

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


  }

  @Test(expected=IllegalArgumentException.class)
  public void testEqClassEquality_fail1()
  {
    new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{}));
  }
View Full Code Here


  }
 
  @Test(expected=IllegalArgumentException.class)
  public void testEqClassEquality_fail2()
  {
    new AMEquivalenceClass(null);
  }
View Full Code Here

 
  @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

 
  @Test
  public void testEqClass_toString2()
  {
    Assert.assertEquals("[B->{B}]",
    new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("B")})).toString());   
  }
View Full Code Here

 
  @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

  @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

  @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

  }

  @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

  @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

  @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

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.