List of limitTo() Examples

Examples of limitTo()

statechum.model.testset.PTASequenceEngine.SequenceSet.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","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","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","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(2000);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"a","c"},
        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","a"},
        new String[] {"a","c"},
        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.paths.computePathsSBetween_All(stateLearnt, engine, pathsToMergedRed);
      }
            
      SequenceSet pathsToCurrentState = fanout.get(state.mergedVertex);

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.paths.computePathsSBetween_All(stateLearnt, engine, pathsToMergedRed);
      }
            
      SequenceSet pathsToCurrentState = fanout.get(state.mergedVertex);

View Full Code Here

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

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

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"}
    },mainConfiguration,converter));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"}
    },mainConfiguration,converter));seqOne.limitTo(1);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"}}
        ,mainConfiguration,converter
    ));

View Full Code Here

0 1 2 3 4

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.