@Override public boolean addTo(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; ContradictionFromNegationRule rule = ruleChain.getCreate(MATCHER_, FACTORY_); if (rule.negation_ != null && rule.negation_ != negation_) { return false; } // else rule.negation_ = negation_; return true; }
@Override public boolean addTo(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; ContradictionFromNegationRule rule = ruleChain.getCreate(MATCHER_, FACTORY_); if (rule.negation_ != null && rule.negation_ != negation_) { return false; } // else rule.negation_ = negation_; return true; }
@Override public boolean addTo(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; ContradictionFromNegationRule rule = ruleChain.getCreate(MATCHER_, FACTORY_); if (rule.negation_ != null && rule.negation_ != negation_) { return false; } // else rule.negation_ = negation_; return true; }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; ContradictionFromNegationRule rule = ruleChain.find(MATCHER_); if (rule == null) { return false; } // else if (rule.negation_ != negation_) { return false; } // else rule.negation_ = null; if (rule.isEmpty()) { ruleChain.remove(MATCHER_); } return true; }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; ContradictionFromNegationRule rule = ruleChain.find(MATCHER_); if (rule == null) { return false; } // else if (rule.negation_ != negation_) { return false; } // else rule.negation_ = null; if (rule.isEmpty()) { ruleChain.remove(MATCHER_); } return true; }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; ContradictionFromNegationRule rule = ruleChain.find(MATCHER_); if (rule == null) { return false; } // else if (rule.negation_ != negation_) { return false; } // else rule.negation_ = null; if (rule.isEmpty()) { ruleChain.remove(MATCHER_); } return true; }