Interface ABARule<T extends Formula>

  • Type Parameters:
    T - is the type of the language that the ABA theory's rules range over
    All Superinterfaces:
    Formula, Rule<T,​T>
    All Known Implementing Classes:
    Assumption, InferenceRule

    public interface ABARule<T extends Formula>
    extends Rule<T,​T>
    Author:
    Nils Geilen (geilenn@uni-koblenz.de) An interface that combines assumptions and inference rules
    • Method Detail

      • isAssumption

        boolean isAssumption()
        Returns:
        whether this rule is an assumption