Examples of statechum.analysis.learning.rpnicore.AMEquivalenceClass.computeMergedColour()

Package statechum.analysis.learning.rpnicore

Class statechum.analysis.learning.rpnicore.AMEquivalenceClass

Examples of statechum.analysis.learning.rpnicore.AMEquivalenceClass.computeMergedColour()

statechum.analysis.learning.rpnicore.AMEquivalenceClass.computeMergedColour()
When merging states, it is often necessary to preserve the colour of vertices. For instance, PTA states do not have colour assigned while the rest of a graph does. When performing QSM merging, we'd like to give a merged vertex the colour of the one from the main graph all the other vertices have been merged into.

  @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());
  }
  
  @Test
  public final void testAM_colour2a()

View Full Code Here

  {
    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);
  }


  @Test
  public final void testAM_colour2b()

View Full Code Here

  {
    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);
  }


  @Test
  public final void testAM_colour2c()

View Full Code Here

  {
    CmpVertex vertB = new StringVertex("B");vertB.setColour(JUConstants.AMBER);
    CmpVertex vertC = new StringVertex("C");vertC.setColour(JUConstants.BLUE);
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("A"),vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertTrue(eq.getMergedVertex().getColour() == JUConstants.BLUE);
  }


  @Test
  public final void testAM_colour2d()

View Full Code Here

    CmpVertex vertA = new StringVertex("A");vertA.setColour(JUConstants.AMBER);
    CmpVertex vertB = new StringVertex("B");
    CmpVertex vertC = new StringVertex("C");vertC.setColour(JUConstants.BLUE);
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        vertA,vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertTrue(eq.getMergedVertex().getColour() == JUConstants.BLUE);
  }


  @Test
  public final void testAM_colour2e()

View Full Code Here

    CmpVertex vertA = new StringVertex("A");vertA.setColour(JUConstants.AMBER);
    CmpVertex vertB = new StringVertex("B");
    CmpVertex vertC = new StringVertex("C");
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        vertA,vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertNull(eq.getMergedVertex().getColour());
  }


  @Test
  public final void testAM_colour2f()

View Full Code Here

    CmpVertex vertA = new StringVertex("A");vertA.setColour(JUConstants.AMBER);
    CmpVertex vertB = new StringVertex("B");
    CmpVertex vertC = new StringVertex("C");vertC.setColour(JUConstants.AMBER);
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        vertA,vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertNull(eq.getMergedVertex().getColour());
  }


  @Test
  public final void testAM_colour2g()

View Full Code Here

    CmpVertex vertA = new StringVertex("A");
    CmpVertex vertB = new StringVertex("B");vertB.setColour(JUConstants.AMBER);
    CmpVertex vertC = new StringVertex("C");vertC.setColour(JUConstants.AMBER);
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        vertA,vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertNull(eq.getMergedVertex().getColour());
  }


  @Test
  public final void testAM_colour2h()

View Full Code Here

  public final void testAM_colour2h()
  {
    CmpVertex vertA = new StringVertex("A");vertA.setColour(JUConstants.AMBER);
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        vertA}));
    eq.computeMergedColour();
    Assert.assertTrue(eq.getMergedVertex().getColour() == JUConstants.AMBER);
  }


  @Test
  public final void testAM_colour3()

View Full Code Here

  {
    CmpVertex vertB = new StringVertex("B");vertB.setColour(JUConstants.RED);
    CmpVertex vertC = new StringVertex("C");vertC.setColour(JUConstants.BLUE);
    AMEquivalenceClass eq =new AMEquivalenceClass(Arrays.asList(new CmpVertex[]{
        new StringVertex("A"),vertB,vertC}));
    eq.computeMergedColour();
    Assert.assertTrue(eq.getMergedVertex().getColour() == JUConstants.RED);
  }


  /** Tests of comparison/equality of string/deterministic pairs of vertices
   * (string-"a"/string "b"/det-"a"/det-"b")

View Full Code Here

TOP

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.