Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.crossWithSequence()

1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality0c()
  {
    SequenceSet seqStart1 = en.new SequenceSet();seqStart1.crossWithSequence(Arrays.asList(
        new String[] {"t"}
    ));
    SequenceSet seqStart2 = en.new SequenceSet();seqStart2.crossWithSequence(Arrays.asList(
        new String[] {"t"}
    ));
View Full Code Here
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
  public final void test_sequenceSet_equality0c()
  {
    SequenceSet seqStart1 = en.new SequenceSet();seqStart1.crossWithSequence(Arrays.asList(
        new String[] {"t"}
    ));
    SequenceSet seqStart2 = en.new SequenceSet();seqStart2.crossWithSequence(Arrays.asList(
        new String[] {"t"}
    ));
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"}
View Full Code Here
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
  public final void test_stringCollectionSize1()
  {
    fsm = new LearnerGraph(FsmParser.buildGraph("A-a->A-b->B", "test_sequenceSet3_6"),config);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSequence(Arrays.asList(new String[] {"b","a"}));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b","a"}
    });
    int expectedCompressed = 2, expectedUncompressed = 2;
    assertEquals(expectedCompressed, PTASequenceEngine.stringCollectionSize(en).secondElem.intValue());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.