src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean isCompact() {
        for (Rule rule1 : this.sigma) {
            for (Rule rule2 : this.sigma) {
                if (!rule1.equals(rule2) && rule1.getPremise().equals(rule2.getPremise())) {
                    return false;
                }
            }
        }
        return true;
    }
/**
     * Returns true if this component is a compact ImplicationalSystem.
     *
     * This test is perfomed in O(|Sigma|^2|S|) by testing premises of each pair
     * of rules
     *
     * @return true if this component is a compact ImplicationalSystem.
     */
Returns true if this component is a compact ImplicationalSystem.
This test is perfomed in O(|Sigma|^2|S|) by testing premises of each pair
of rules

@return true if this component is a compact ImplicationalSystem.
Returns true if this component is a compact ImplicationalSystem . This test is perfomed in O ( |Sigma|^2|S| ) by testing premises of each pair of rules @return true if this component is a compact ImplicationalSystem .
public boolean isCompact() {
        for (Rule rule1 : this.sigma) {
            for (Rule rule2 : this.sigma) {
                if (!rule1.equals(rule2) && rule1.getPremise().equals(rule2.getPremise())) {
                    return false;
                }
            }
        }
        return true;
    }
public boolean isCompact ( ) { for ( Rule rule1 : this . sigma ) { for ( Rule rule2 : this . sigma ) { if ( ! rule1 . equals ( rule2 ) && rule1 . getPremise ( ) . equals ( rule2 . getPremise ( ) ) ) { return false ; } } } return true ; }
Returns true if this component is a compact ImplicationalSystem.
Returns true if this component is a compact ImplicationalSystem .