src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean isRightMaximal() {
        for (Rule rule : this.sigma) {
            if (!rule.getConclusion().containsAll(this.closure(rule.getConclusion()))) {
                return false;
            }
        }
        return true;
    }
/**
     * Returns true if conclusion of rules of this component are closed.
     *
     * This test is perfomed in O(|Sigma||S|) by testing conclusion of each rule
     *
     * @return true if conclusion of rules of this component are closed.
     */
Returns true if conclusion of rules of this component are closed.
This test is perfomed in O(|Sigma||S|) by testing conclusion of each rule

@return true if conclusion of rules of this component are closed.
Returns true if conclusion of rules of this component are closed . This test is perfomed in O ( |Sigma||S| ) by testing conclusion of each rule @return true if conclusion of rules of this component are closed .
public boolean isRightMaximal() {
        for (Rule rule : this.sigma) {
            if (!rule.getConclusion().containsAll(this.closure(rule.getConclusion()))) {
                return false;
            }
        }
        return true;
    }
public boolean isRightMaximal ( ) { for ( Rule rule : this . sigma ) { if ( ! rule . getConclusion ( ) . containsAll ( this . closure ( rule . getConclusion ( ) ) ) ) { return false ; } } return true ; }
Returns true if conclusion of rules of this component are closed.
Returns true if conclusion of rules of this component are closed .