src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public int makeCanonicalDirectBasis() {
        int s = this.sizeRules();
        this.makeProper();
        this.makeLeftMinimal();
        this.makeDirect();
        this.makeLeftMinimal();
        this.makeCompact();
        return s - this.sizeRules();
    }
/**
     * Replace this component by its canonical direct basis.
     *
     * The proper, unary and left minimal form of this component is first
     * computed, before to apply the recursive directe treatment, then the left
     * minimal treatment.
     *
     * This treatment is performed in O(d), where d corresponds to the number of
     * rules that have to be added by the direct treatment. This number is
     * exponential in the worst case.
     *
     * @return the difference between the number of rules of this component
     *         before and after this treatment
     */
Replace this component by its canonical direct basis.
The proper, unary and left minimal form of this component is first
computed, before to apply the recursive directe treatment, then the left
minimal treatment.

This treatment is performed in O(d), where d corresponds to the number of
rules that have to be added by the direct treatment. This number is
exponential in the worst case.

@return the difference between the number of rules of this component
before and after this treatment
Replace this component by its canonical direct basis . The proper unary and left minimal form of this component is first computed before to apply the recursive directe treatment then the left minimal treatment . This treatment is performed in O ( d ) where d corresponds to the number of rules that have to be added by the direct treatment . This number is exponential in the worst case . @return the difference between the number of rules of this component before and after this treatment
public int makeCanonicalDirectBasis() {
        int s = this.sizeRules();
        this.makeProper();
        this.makeLeftMinimal();
        this.makeDirect();
        this.makeLeftMinimal();
        this.makeCompact();
        return s - this.sizeRules();
    }
public int makeCanonicalDirectBasis ( ) { int s = this . sizeRules ( ) ; this . makeProper ( ) ; this . makeLeftMinimal ( ) ; this . makeDirect ( ) ; this . makeLeftMinimal ( ) ; this . makeCompact ( ) ; return s - this . sizeRules ( ) ; }
Replace this component by its canonical direct basis.
Replace this component by its canonical direct basis .