Package net.sf.tweety.arg.aba.syntax

Interface ABARule<T extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - is the type of the language that the ABA theory's rules range over
    All Superinterfaces:
    net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<T,​T>
    All Known Implementing Classes:
    Assumption, InferenceRule
    public interface ABARule<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.commons.util.rules.Rule<T,​T>
    Author:
    Nils Geilen (geilenn@uni-koblenz.de) An interface that combines assumptions and inference rules

    • Method Summary

      Modifier and Type Method Description
      boolean isAssumption()  

      • Methods inherited from interface net.sf.tweety.commons.util.rules.Rule

        addPremise, addPremises, getConclusion, getPremise, getSignature, isConstraint, isFact, setConclusion

    • Method Detail

      • isAssumption

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