Package statechum.analysis.learning.rpnicore.PairScoreComputation

Examples of statechum.analysis.learning.rpnicore.PairScoreComputation.StringVertexPair

781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
    eqClass.addFrom(A, gr.transitionMatrix.get(A).entrySet());
    eqClass.mergeWith(B, gr.transitionMatrix.get(B).entrySet());
   
    Assert.assertSame(A,eqClass.getRepresentative());Assert.assertEquals(10, eqClass.getNumber());
    Set<StringVertexPair> expectedTargetsCurrent = new TreeSet<StringVertexPair>();
    expectedTargetsCurrent.add(new StringVertexPair("a", B));expectedTargetsCurrent.add(new StringVertexPair("d", A));
    Set<StringVertexPair> expectedTargetsNew = new TreeSet<StringVertexPair>();
    expectedTargetsNew.add(new StringVertexPair("b", C));expectedTargetsNew.add(new StringVertexPair("a", D));
    Set<StringVertexPair> expectedTargetsTotal = new TreeSet<StringVertexPair>();
    expectedTargetsTotal.add(new StringVertexPair("a", B));
    expectedTargetsTotal.add(new StringVertexPair("b", C));
    expectedTargetsTotal.add(new StringVertexPair("a", D));
    expectedTargetsTotal.add(new StringVertexPair("d", A));
    Assert.assertEquals(expectedTargetsCurrent, eqClass.getOutgoing());
    Assert.assertEquals(expectedTargetsNew, eqClass.getNewOutgoing());
    eqClass.populate();
    Assert.assertEquals(expectedTargetsTotal, eqClass.getOutgoing());
  }
View Full Code Here
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
    Assert.assertEquals(4, eqClassA.getNumber());Assert.assertEquals(1, eqClassB.getNumber());
   
    eqClassA.mergeWith(eqClassB);
   
    Set<StringVertexPair> expectedTargetsCurrent = new TreeSet<StringVertexPair>();
    expectedTargetsCurrent.add(new StringVertexPair("a", B));expectedTargetsCurrent.add(new StringVertexPair("d", A));
    Set<StringVertexPair> expectedTargetsNew = new TreeSet<StringVertexPair>();
    expectedTargetsNew.add(new StringVertexPair("b", C));expectedTargetsNew.add(new StringVertexPair("a", D));
    Set<StringVertexPair> expectedTargetsTotal = new TreeSet<StringVertexPair>();
    expectedTargetsTotal.add(new StringVertexPair("a", B));
    expectedTargetsTotal.add(new StringVertexPair("b", C));
    expectedTargetsTotal.add(new StringVertexPair("a", D));
    expectedTargetsTotal.add(new StringVertexPair("d", A));
    Assert.assertEquals(expectedTargetsCurrent, eqClassA.getOutgoing());
    Assert.assertEquals(expectedTargetsNew, eqClassA.getNewOutgoing());
    eqClassA.populate();
    Assert.assertEquals(expectedTargetsTotal, eqClassA.getOutgoing());
  }
View Full Code Here
171
172
173
174
175
176
177
  public void addFrom(CmpVertex vert,Collection<Entry<String,CmpVertex>> from) throws IncompatibleStatesException
  {
    addState(vert);
    if (from != null)
      for(Entry<String,CmpVertex> entry:from)
        outgoingTransitions.add(new StringVertexPair(entry.getKey(),entry.getValue()));
  }
View Full Code Here
185
186
187
188
189
190
191
  {
    addState(vert);

    newOutgoingTransitions = new TreeSet<StringVertexPair>();
    for(Entry<String,CmpVertex> entry:from)
      newOutgoingTransitions.add(new StringVertexPair(entry.getKey(),entry.getValue()));
  }
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.rpnicore.PairScoreComputation.StringVertexPair

  • statechum.analysis.learning.rpnicore.AMEquivalenceClass
  • statechum.analysis.learning.rpnicore.TestEqualityComparisonAndHashCode
    • 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.