Package org.mindswap.pellet

Examples of org.mindswap.pellet.Node.restore()

516
517
518
519
520
521
522
523
524
525
526
            log.finest( "--- Do not cache concept " + c + " " + x + " "
                + clashNode + " " + clashPath );
        }
      }
      else {
        node.restore( br.getBranch() );

        // FIXME should we look at the clash path or clash node
        if( node.equals( clashNode ) ) {
          cachedNodes.remove( node );
        }
View Full Code Here
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
          continue;
        }

        if (succ.isLiteral()) {
          visited.put(succ, Boolean.FALSE);
          succ.restore(branch);
        }
        else {
          restoreLocal(((Individual) succ), branch, visited);
        }
      }
View Full Code Here
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
          deleteBlock = 0;
        }

        // restore only if not tracking branch effects
        if (!PelletOptions.TRACK_BRANCH_EFFECTS) {
          node.restore(br.getBranch());
        }
      }
    }

    // if there were nodes to be removed at the end of the list do it now
View Full Code Here
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
      // when tracking branch effects only restore nodes explicitly stored in the effected list
      Set<ATermAppl> effected = abox.getBranchEffectTracker().removeAll(br.getBranch() + 1);
      for (ATermAppl a : effected) {
        Node n = abox.getNode(a);
        if (n != null) {
          n.restore(br.getBranch());
        }
      }
    }

    restoreAllValues();
View Full Code Here
242
243
244
245
246
247
248
249
250
251
252
            // do not restore if we find the problem without adding the concepts
            if(abox.isClosed()) {
              if( node.isLiteral() ) {
                abox.setClash( null );
               
                node.restore( branch );                             
              }
              else {
              // restoring a single node is not enough here because one of the disjuncts could be an
                // all(r,C) that changed the r-neighbors
                  strategy.restoreLocal((Individual) node, this);
View Full Code Here
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
          continue;
        }

        if (succ.isLiteral()) {
          visited.put(succ, Boolean.FALSE);
          succ.restore(branch);
        }
        else {
          restoreLocal(((Individual) succ), branch, visited);
        }
      }
View Full Code Here
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
          deleteBlock = 0;
        }

        // restore only if not tracking branch effects
        if (!PelletOptions.TRACK_BRANCH_EFFECTS) {
          node.restore(br.getBranch());
        }
      }
    }

    // if there were nodes to be removed at the end of the list do it now
View Full Code Here
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
      // when tracking branch effects only restore nodes explicitly stored in the effected list
      Set<ATermAppl> effected = abox.getBranchEffectTracker().removeAll(br.getBranch() + 1);
      for (ATermAppl a : effected) {
        Node n = abox.getNode(a);
        if (n != null) {
          n.restore(br.getBranch());
        }
      }
    }

    restoreAllValues();
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.