List of crossWithSet() Examples

Examples of crossWithSet()

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

  
  @Test
  public final void testPrecisionRecall0()
  {
    SequenceSet seq = en.new SequenceSet();
    seq.crossWithSet(Arrays.asList(new String[] {"a"})); // appending anything to an empty sequence produces an empty sequence.
    TestPTASequenceEngine.vertifyPTA(en, 1, new String[][] {
        new String[] {}
    });
  }

View Full Code Here

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

  public final void test_stringCollectionSize2()
  {
    fsm = new LearnerGraph(TestFSMAlgo.buildGraph("A-a->A-b->B", "test_sequenceSet3_6"),config);
    en = new PTA_FSMStructure(fsm);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b","a"}))
      .crossWithSet(Arrays.asList(new String[] {"b","a"}))
      .crossWithSet(Arrays.asList(new String[] {"a","b"}));
    vertifyPTA(en, 6, new String[][] {
        new String[] {"b","b"},
        new String[] {"b","a"},

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet1()
  {
    SequenceSet seq = en.new SequenceSet();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"a"}))); // appending anything to an empty sequence produces an empty sequence.
    vertifyPTA(en, 1, new String[][] {
        new String[] {} // there is only an empty path but since reject-nodes are returned, this path is returned.
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
    });

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet2() // an input which exists
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
        new Object[]{new String[] {"a"}, PTASequenceEngine.DebugDataValues.booleanToString(true, true)}

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet3() // the one which does not exist
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"c"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"c"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
    });

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet4() // the one which enters a reject state
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"b"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
    });

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet5() // a composition of sequenceSet with an input which exists
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a","a"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet6() // a composition of sequenceSet with the one which does not exist
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"c"}))
      .crossWithSet(Arrays.asList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"c"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet7() // a composition of sequenceSet with the one which enters a reject state
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"b"}))
      .crossWithSet(Arrays.asList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {

View Full Code Here

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

  
  @Test
  public final void test_sequenceSet_2_1() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"b"}))
      .crossWithSet(Arrays.asList(new String[] {"c"})));
    vertifyPTA(en, 1, new String[][] {

View Full Code Here

0 1 2 3 4 5

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.