src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public boolean isIncludedIn(ImplicationalSystem is) {
        ImplicationalSystem tmp = new ImplicationalSystem(this);
        tmp.makeProper();
        tmp.makeUnary();
        is.makeProper();
        is.makeUnary();
        for (Rule rule : tmp.sigma) {
            if (!is.containsRule(rule)) {
                return false;
            }
        }
        return true;
    }
/**
     * Compares by inclusion of the proper and unary form of this component with
     * the specified one.
     *
     * @param is another ImplicationalSystem
     *
     * @return true if really include in this componenet.
     */
Compares by inclusion of the proper and unary form of this component with
the specified one.

@param is another ImplicationalSystem

@return true if really include in this componenet.
Compares by inclusion of the proper and unary form of this component with the specified one . @param is another ImplicationalSystem @return true if really include in this componenet .
public boolean isIncludedIn(ImplicationalSystem is) {
        ImplicationalSystem tmp = new ImplicationalSystem(this);
        tmp.makeProper();
        tmp.makeUnary();
        is.makeProper();
        is.makeUnary();
        for (Rule rule : tmp.sigma) {
            if (!is.containsRule(rule)) {
                return false;
            }
        }
        return true;
    }
public boolean isIncludedIn ( ImplicationalSystem is ) { ImplicationalSystem tmp = new ImplicationalSystem ( this ) ; tmp . makeProper ( ) ; tmp . makeUnary ( ) ; is . makeProper ( ) ; is . makeUnary ( ) ; for ( Rule rule : tmp . sigma ) { if ( ! is . containsRule ( rule ) ) { return false ; } } return true ; }
Compares by inclusion of the proper and unary form of this component with
 the specified one.
Compares by inclusion of the proper and unary form of this component with the specified one .