Examples of crossWithSequence()


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

  public final void test_sequenceSet_equality0b()
  {
    SequenceSet seqStart1 = en.new SequenceSet();
    SequenceSet seqStart2 = en.new SequenceSet();
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
 
View Full Code Here

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

 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality0c()
  {
    SequenceSet seqStart1 = en.new SequenceSet();seqStart1.crossWithSequence(labelList(
        new String[] {"t"}
    ));
    SequenceSet seqStart2 = en.new SequenceSet();seqStart2.crossWithSequence(labelList(
        new String[] {"t"}
    ));
View Full Code Here

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

  public final void test_sequenceSet_equality0c()
  {
    SequenceSet seqStart1 = en.new SequenceSet();seqStart1.crossWithSequence(labelList(
        new String[] {"t"}
    ));
    SequenceSet seqStart2 = en.new SequenceSet();seqStart2.crossWithSequence(labelList(
        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

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

  public final void test_stringCollectionSize1()
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSequence(labelList(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

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

        new String[] {"b","b"}
    });
   
    // now modify the filtered one
    SequenceSet filteredSeqSet = filtered.new SequenceSet();filteredSeqSet.setIdentity();
    filteredSeqSet.crossWithSequence(labelList(new String[]{"b","b","b","b"}));
    // and check that the filtered one has been modified but the original one is unchanged
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","b","c"},
        new String[] {"b","b","c"}
    });
View Full Code Here

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

  public final void test_stringCollectionSize1()
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSequence(labelList(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

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

        new String[] {"b","b"}
    });
   
    // now modify the filtered one
    SequenceSet filteredSeqSet = filtered.new SequenceSet();filteredSeqSet.setIdentity();
    filteredSeqSet.crossWithSequence(labelList(new String[]{"b","b","b","b"}));
    // and check that the filtered one has been modified but the original one is unchanged
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","b","c"},
        new String[] {"b","b","c"}
    });
View Full Code Here

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

  @Test
  public final void test_sequenceSet5_2() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSequence(labelList(new String[] {"a","b","c"})).crossWithSet(new LinkedList<Label>());
    Map<String,String> actual = getDebugDataMap(en,en.new SequenceSet().cross(TestFSMAlgo.buildList(new String[][] {// here the new sequenceSet is empty, hence whatever I do, there should be no changes
        new String[] {"a","b","c","d"},
        new String[] {"c"}
    },mainConfiguration,converter)));
    vertifyPTA(en, 1, new String[][] {
View Full Code Here

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

    SequenceSet seqStart1 = en.new SequenceSet();
    SequenceSet seqStart2 = seqStart1.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
 
View Full Code Here

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

  public final void test_sequenceSet_equality0b()
  {
    SequenceSet seqStart1 = en.new SequenceSet();
    SequenceSet seqStart2 = en.new SequenceSet();
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
 
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.