/** 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);
}
/**
* 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);
}