src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean isProper() {
        for (Rule rule : this.sigma) {
            for (Object c : rule.getConclusion()) {
                if (rule.getPremise().contains(c)) {
                    return false;
                }
            }
        }
        return true;
    }
/**
     * Returns true if this component is a proper ImplicationalSystem.
     *
     * This test is perfomed in O(|Sigma||S|) by testing conclusion of each rule
     *
     * @return true if and only if this component is a proper implicational
     *         system.
     */
Returns true if this component is a proper ImplicationalSystem.
This test is perfomed in O(|Sigma||S|) by testing conclusion of each rule

@return true if and only if this component is a proper implicational
system.
Returns true if this component is a proper ImplicationalSystem . This test is perfomed in O ( |Sigma||S| ) by testing conclusion of each rule @return true if and only if this component is a proper implicational system .
public boolean isProper() {
        for (Rule rule : this.sigma) {
            for (Object c : rule.getConclusion()) {
                if (rule.getPremise().contains(c)) {
                    return false;
                }
            }
        }
        return true;
    }
public boolean isProper ( ) { for ( Rule rule : this . sigma ) { for ( Object c : rule . getConclusion ( ) ) { if ( rule . getPremise ( ) . contains ( c ) ) { return false ; } } } return true ; }
Returns true if this component is a proper ImplicationalSystem.
Returns true if this component is a proper ImplicationalSystem .