Examples of limitTo()


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

    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(0);
    Assert.assertTrue(seqOne.isEmpty());
  }
 
  @Test
  public final void test_sequenceSet_limitTo1()
View Full Code Here

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

    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"a","c"},
        new String[] {"c"}
    }));seqOne.limitTo(1);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"}}));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
View Full Code Here

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

    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    seqOne.limitTo(2);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a" }
        }));
View Full Code Here

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

    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(2000);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
View Full Code Here

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

    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(-1);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
View Full Code Here

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

       
        // Now we limit the number of elements in pathsToMerged to the value specified in the configuration.
        // This will not affect the underlying graph, but it does not really matter since all
        // elements in that graph are accept-states by construction of pathsToMergedRed and hence
        // not be returned.
        pathsToMergedRed.limitTo(original.config.getQuestionPathUnionLimit());
       
        fanout = learnt.pathroutines.computePathsSBetween_All(stateLearnt, engine, pathsToMergedRed);
      }
           
      SequenceSet pathsToCurrentState = fanout.get(state.getMergedVertex());
View Full Code Here

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

      for(CmpVertex vert:state.getStates())
      {
        SequenceSet pathsToCurrentState = fanout.get(vert);
        if (pathsToCurrentState != null)
        {
          pathsToCurrentState.limitTo(original.config.getQuestionPathUnionLimit());
          pathsToCurrentState.crossWithSet(learnt.transitionMatrix.get(state.getMergedVertex()).keySet());// attempt all possible continuation vertices
        }
      }
    }
   
View Full Code Here

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

       
        // Now we limit the number of elements in pathsToMerged to the value specified in the configuration.
        // This will not affect the underlying graph, but it does not really matter since all
        // elements in that graph are accept-states by construction of pathsToMergedRed and hence
        // not be returned.
        pathsToMergedRed.limitTo(original.config.getQuestionPathUnionLimit());
       
        fanout = learnt.pathroutines.computePathsSBetween_All(stateLearnt, engine, pathsToMergedRed);
      }
           
      SequenceSet pathsToCurrentState = fanout.get(state.getMergedVertex());
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.