189190191192193194195196197198199
Rule r = (Rule)hClause; if (r.isBackward()) { if (isAdd) { infGraph.addBRule(r.instantiate(env)); } else { infGraph.deleteBRule(r.instantiate(env)); } } else { throw new ReasonerException("Found non-backward subrule : " + r); } }
192193194195196197198199200201202