Examples of StatesToConsider

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
  }
 
  public static void printTraceLeadingTo(LearnerGraph graph, String vert)
  {
    LearnerGraphND ptaInverse = new LearnerGraphND(graph.config);
    AbstractPathRoutines.buildInverse(graph, new StatesToConsider() {
      @Override public boolean stateToConsider(@SuppressWarnings("unused") CmpVertex v) { return true; }}
      , ptaInverse);
    CmpVertex v=ptaInverse.findVertex(vert);
    for(int i=0;i<10;++i)
    {
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
  }
 
  public static void printTraceLeadingTo(LearnerGraph graph, String vert)
  {
    LearnerGraphND ptaInverse = new LearnerGraphND(graph.config);
    AbstractPathRoutines.buildInverse(graph, new StatesToConsider() {
      @Override public boolean stateToConsider(@SuppressWarnings("unused") CmpVertex v) { return true; }}
      , ptaInverse);
    CmpVertex v=ptaInverse.findVertex(vert);
    for(int i=0;i<10;++i)
    {
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
  }
 
  public static void printTraceLeadingTo(LearnerGraph graph, String vert)
  {
    LearnerGraphND ptaInverse = new LearnerGraphND(graph.config);
    AbstractPathRoutines.buildInverse(graph, new StatesToConsider() {
      @Override public boolean stateToConsider(@SuppressWarnings("unused") CmpVertex v) { return true; }}
      , ptaInverse);
    CmpVertex v=ptaInverse.findVertex(vert);
    for(int i=0;i<10;++i)
    {
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

880
881
882
883
884
885
886
887
888
889
890
  public <TARGET_A_TYPE,CACHE_A_TYPE extends CachedData<TARGET_A_TYPE,CACHE_A_TYPE>> void removeReachableStatesFromWhichInitIsNotReachable(AbstractLearnerGraph<TARGET_A_TYPE,CACHE_A_TYPE> outcome)
  {
    final Set<CmpVertex> reachableStates = computeReachableStatesFromWhichInitIsNotReachable();
   
    buildForward(coregraph, new StatesToConsider(){

      @Override
      public boolean stateToConsider(CmpVertex vert) {
        return !reachableStates.contains(vert);
      }}, outcome);
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
           
            // Perhaps I should be numbering states directly here instead of using numberNonNegativeElements afterwards,
            // but this is not simple to do: I have to give numbers in the order in which triangular traversal visits states.
          }
        });
      GDLearnerGraph.performRowTasks(handlerList, ThreadNumber, grCombined.transitionMatrix,new StatesToConsider() {
        @Override public boolean stateToConsider(CmpVertex vert) {
          return statesOfA.contains(vert);
        }
      }, GDLearnerGraph.partitionWorkLoadLinear(ThreadNumber,statesOfA.size()));
      final int numberOfPairs = GDLearnerGraph.numberNonNegativeElements(pairScores);
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
            assert highState != null;
            wave.add(new PairScore(entryA.getKey(),highState,(int)(multiplier*scoreHigh),(int)(multiplier*scoreLow)));
          }
        });
      }
      GDLearnerGraph.performRowTasks(handlerList, ThreadNumber, grCombined.transitionMatrix,new StatesToConsider() {
        @Override public boolean stateToConsider(CmpVertex vert) {
          return statesOfA.contains(vert);
        }
      }, GDLearnerGraph.partitionWorkLoadLinear(ThreadNumber,statesOfA.size()));
     
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

603
604
605
606
607
608
609
610
611
612
613
    LearnerGraphND expected = buildLearnerGraphND("C-c->A\nU-a->V-b->U","testBuildInverse7",config,converter);
    expected.transitionMatrix.put(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("D"), graph.config), graph.createNewRow());
    expected.setInit(expected.findVertex("A"));
   
    LearnerGraphND actual = new LearnerGraphND(Configuration.getDefaultConfiguration());actual.initEmpty();
    AbstractPathRoutines.buildInverse(graph, new StatesToConsider() {

      @Override
      public boolean stateToConsider(CmpVertex vert) {
        return !vert.getStringId().equals("B");
      }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

621
622
623
624
625
626
627
628
629
630
631
  {
    LearnerGraphND graph = buildLearnerGraphND("A-a->B-a->C\nA<-c-B-b-#D\nB-d->A-c->C\nU-b->V-a->U",
      "testConvertToND6",config,converter);
   
    LearnerGraphND actual = new LearnerGraphND(Configuration.getDefaultConfiguration());actual.initEmpty();
    AbstractPathRoutines.buildInverse(graph, new StatesToConsider() {

      @Override
      public boolean stateToConsider(@SuppressWarnings("unused") CmpVertex vert) {
        return false;
      }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

640
641
642
643
644
645
646
647
648
649
650
    LearnerGraphND graph = buildLearnerGraphND("A-a->B-a->C\nA<-c-B-b-#D\nB-d->A-c->C\nU-b->V-a->U","testConvertToND6",config,converter);
    LearnerGraphND expected = buildLearnerGraphND("A-c->C\nU-b->V-a->U","testBuildForward7",config,converter);
    expected.transitionMatrix.put(AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("D"), graph.config), graph.createNewRow());
   
    LearnerGraphND actual = new LearnerGraphND(Configuration.getDefaultConfiguration());actual.initEmpty();
    AbstractPathRoutines.buildForward(graph, new StatesToConsider() {

      @Override
      public boolean stateToConsider(CmpVertex vert) {
        return !vert.getStringId().equals("B");
      }
View Full Code Here

Examples of statechum.analysis.learning.rpnicore.AbstractLearnerGraph.StatesToConsider

658
659
660
661
662
663
664
665
666
667
668
  public final void testBuildForward8()
  {
    final LearnerGraphND graph = buildLearnerGraphND("A-a->B-a->C\nA<-c-B-b-#D\nB-d->A-c->C\nU-b->V-a->U","testConvertToND6",config,converter);
    final LearnerGraphND actual = new LearnerGraphND(Configuration.getDefaultConfiguration());actual.initEmpty();
   
    AbstractPathRoutines.buildForward(graph, new StatesToConsider() {
      @Override
      public boolean stateToConsider(@SuppressWarnings("unused") CmpVertex vert) {
        return false;
      }
    },actual);
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.