src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean checkRuleElements(Rule rule) {
        for (Object e : rule.getPremise()) {
            if (!set.contains(e)) {
                return false;
            }
        }
        for (Object e : rule.getConclusion()) {
            if (!set.contains(e)) {
                return false;
            }
        }
        return true;
    }
/**
     * Checks if the set S of this component contains the elements of the
     * specified rule.
     *
     * @param rule the rule to be checked
     *
     * @return true if `S` contains all the elements of the rule
     */
Checks if the set S of this component contains the elements of the
specified rule.

@param rule the rule to be checked

@return true if `S` contains all the elements of the rule
Checks if the set S of this component contains the elements of the specified rule . @param rule the rule to be checked @return true if ` S ` contains all the elements of the rule
public boolean checkRuleElements(Rule rule) {
        for (Object e : rule.getPremise()) {
            if (!set.contains(e)) {
                return false;
            }
        }
        for (Object e : rule.getConclusion()) {
            if (!set.contains(e)) {
                return false;
            }
        }
        return true;
    }
public boolean checkRuleElements ( Rule rule ) { for ( Object e : rule . getPremise ( ) ) { if ( ! set . contains ( e ) ) { return false ; } } for ( Object e : rule . getConclusion ( ) ) { if ( ! set . contains ( e ) ) { return false ; } } return true ; }
Checks if the set S of this component contains the elements of the
 specified rule.
Checks if the set S of this component contains the elements of the specified rule .