Examples of limitTo()

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

1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
    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()

1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
    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()

1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
    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()

1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
    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()

1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
    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()

193
194
195
196
197
198
199
200
201
202
203
       
        // 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()

238
239
240
241
242
243
244
245
246
247
248
      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()

146
147
148
149
150
151
152
153
154
155
156
       
        // 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.