src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean deleteElement(Comparable e) {
        if (set.contains(e)) {
            set.remove(e);
            ImplicationalSystem save = new ImplicationalSystem(this);
            for (Rule rule : save.sigma) {
                Rule newR = new Rule(rule.getPremise(), rule.getConclusion());
                newR.removeFromPremise(e);
                newR.removeFromConclusion(e);
                if (!rule.equals(newR)) {
                    if (newR.getConclusion().size() != 0) {
                        this.replaceRule(rule, newR);
                    } else {
                        this.removeRule(rule);
                    }
                }
            }
            return true;
        }
        return false;
    }
/**
     * Delete the specified element from the set `S` of this component and from
     * all the rule containing it.
     *
     * @param e the comparable to be added
     *
     * @return true if the element has been added to `S`
     */
Delete the specified element from the set `S` of this component and from
all the rule containing it.

@param e the comparable to be added

@return true if the element has been added to `S`
Delete the specified element from the set ` S ` of this component and from all the rule containing it . @param e the comparable to be added @return true if the element has been added to ` S `
public boolean deleteElement(Comparable e) {
        if (set.contains(e)) {
            set.remove(e);
            ImplicationalSystem save = new ImplicationalSystem(this);
            for (Rule rule : save.sigma) {
                Rule newR = new Rule(rule.getPremise(), rule.getConclusion());
                newR.removeFromPremise(e);
                newR.removeFromConclusion(e);
                if (!rule.equals(newR)) {
                    if (newR.getConclusion().size() != 0) {
                        this.replaceRule(rule, newR);
                    } else {
                        this.removeRule(rule);
                    }
                }
            }
            return true;
        }
        return false;
    }
public boolean deleteElement ( Comparable e ) { if ( set . contains ( e ) ) { set . remove ( e ) ; ImplicationalSystem save = new ImplicationalSystem ( this ) ; for ( Rule rule : save . sigma ) { Rule newR = new Rule ( rule . getPremise ( ) , rule . getConclusion ( ) ) ; newR . removeFromPremise ( e ) ; newR . removeFromConclusion ( e ) ; if ( ! rule . equals ( newR ) ) { if ( newR . getConclusion ( ) . size ( ) != 0 ) { this . replaceRule ( rule , newR ) ; } else { this . removeRule ( rule ) ; } } } return true ; } return false ; }
Delete the specified element from the set `S` of this component and from
 all the rule containing it.
Delete the specified element from the set ` S ` of this component and from all the rule containing it .