src/main/java/org/thegalactic/rule/ImplicationalSystem.java
public ConcreteDGraph dependencyGraph() {
        ImplicationalSystem bcd = new ImplicationalSystem(this);
        bcd.makeCanonicalDirectBasis();
        bcd.makeUnary();
        return bcd.representativeGraph();
    }
/**
     * Returns the dependency graph of this component.
     *
     * Dependency graph of this component is the representative graph of the
     * canonical direct basis. Therefore, the canonical direct basis has to be
     * generated before to compute its representativ graph, and this treatment
     * is performed in O(d), as for the canonical direct basis generation, 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 dependency graph of this component.
     */
Returns the dependency graph of this component.
Dependency graph of this component is the representative graph of the
canonical direct basis. Therefore, the canonical direct basis has to be
generated before to compute its representativ graph, and this treatment
is performed in O(d), as for the canonical direct basis generation, 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 dependency graph of this component.
Returns the dependency graph of this component . Dependency graph of this component is the representative graph of the canonical direct basis . Therefore the canonical direct basis has to be generated before to compute its representativ graph and this treatment is performed in O ( d ) as for the canonical direct basis generation 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 dependency graph of this component .
public ConcreteDGraph dependencyGraph() {
        ImplicationalSystem bcd = new ImplicationalSystem(this);
        bcd.makeCanonicalDirectBasis();
        bcd.makeUnary();
        return bcd.representativeGraph();
    }
public ConcreteDGraph dependencyGraph ( ) { ImplicationalSystem bcd = new ImplicationalSystem ( this ) ; bcd . makeCanonicalDirectBasis ( ) ; bcd . makeUnary ( ) ; return bcd . representativeGraph ( ) ; }
Returns the dependency graph of this component.
Returns the dependency graph of this component .