Esempio n. 1
0
 /** Add all the rules and tabling instructions from an existing rulestore into this one. */
 public void addAll(LPRuleStore store) {
   super.addAll(store);
   tabledPredicates.addAll(store.tabledPredicates);
   allTabled = tabledPredicates.contains(Node.ANY);
 }
Esempio n. 2
0
 /**
  * Add/remove a single rule from the store. Overridden in order to reset the "isCompiled" flag.
  *
  * @param rule the rule, single headed only
  * @param isAdd true to add, false to remove
  */
 @Override
 protected void doAddRemoveRule(Rule rule, boolean isAdd) {
   isCompiled = false;
   super.doAddRemoveRule(rule, isAdd);
 }