Class Deduction<T extends Formula>

  • Type Parameters:
    T - is the type of the language that the ABA theory's rules range over
    All Implemented Interfaces:
    DungEntity, Formula, Node

    public class Deduction<T extends Formula>
    extends Argument
    An argument derived from an ABA theory.
    Author:
    Nils Geilen
    • Constructor Detail

      • Deduction

        public Deduction​(java.lang.String name)
        Constructs a new deduction.
        Parameters:
        name - an identifier
      • Deduction

        public Deduction​(java.lang.String name,
                         AbaRule<T> rule)
        Constructs a new deduction.
        Parameters:
        name - an identifier
        rule - the toprule
      • Deduction

        public Deduction​(java.lang.String name,
                         AbaRule<T> rule,
                         java.util.Collection<Deduction<T>> subs)
        Constructs a new deduction.
        Parameters:
        name - an identifier
        rule - the toprule
        subs - a set of subdeductions
    • Method Detail

      • getAllRules

        public java.util.Collection<AbaRule<T>> getAllRules()
        Returns:
        all rules appearing in this argument.
      • getAllConclusions

        public java.util.Collection<T> getAllConclusions()
        Returns:
        all conclusions appearing in this argument.
      • getConclusion

        public T getConclusion()
        Returns:
        the conclusion of this deduction
      • getRule

        public AbaRule<T> getRule()
        Returns:
        the rule
      • setRule

        public void setRule​(AbaRule<T> rule)
        Parameters:
        rule - the rule to set
      • getAssumptions

        public java.util.Collection<T> getAssumptions()
        Returns:
        all assumptions employed by this deduction
      • addSubDeduction

        public void addSubDeduction​(Deduction<T> sub)
        Adds a subdeduction
        Parameters:
        sub - a deduction
      • getRules

        public java.util.Collection<AbaRule<T>> getRules()
        Returns:
        all rules used in this deduction
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class Argument
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class Argument