src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public int makeRightMaximal() {
        int s = this.sizeRules();
        this.makeCompact();
        ImplicationalSystem save = new ImplicationalSystem(this);
        for (Rule rule : save.sigma) {
            Rule newR = new Rule(rule.getPremise(), this.closure(rule.getPremise()));
            if (!rule.equals(newR)) {
                this.replaceRule(rule, newR);
            }
        }
        return s - this.sizeRules();
    }
/**
     * Replaces conclusion of each rule with their closure without the premise.
     *
     * This treatment is performed in O(|sigma||S|cl), where O(cl) is the
     * computation of a closure.
     *
     * @return the difference between the number of rules of this component
     *         before and after this treatment
     */
Replaces conclusion of each rule with their closure without the premise.
This treatment is performed in O(|sigma||S|cl), where O(cl) is the
computation of a closure.

@return the difference between the number of rules of this component
before and after this treatment
Replaces conclusion of each rule with their closure without the premise . This treatment is performed in O ( |sigma||S|cl ) where O ( cl ) is the computation of a closure . @return the difference between the number of rules of this component before and after this treatment
public int makeRightMaximal() {
        int s = this.sizeRules();
        this.makeCompact();
        ImplicationalSystem save = new ImplicationalSystem(this);
        for (Rule rule : save.sigma) {
            Rule newR = new Rule(rule.getPremise(), this.closure(rule.getPremise()));
            if (!rule.equals(newR)) {
                this.replaceRule(rule, newR);
            }
        }
        return s - this.sizeRules();
    }
public int makeRightMaximal ( ) { int s = this . sizeRules ( ) ; this . makeCompact ( ) ; ImplicationalSystem save = new ImplicationalSystem ( this ) ; for ( Rule rule : save . sigma ) { Rule newR = new Rule ( rule . getPremise ( ) , this . closure ( rule . getPremise ( ) ) ) ; if ( ! rule . equals ( newR ) ) { this . replaceRule ( rule , newR ) ; } } return s - this . sizeRules ( ) ; }
Replaces conclusion of each rule with their closure without the premise.
Replaces conclusion of each rule with their closure without the premise .