Class Assumption<T extends Formula>

  • Type Parameters:
    T - is the type of the language that the ABA theory's rules range over
    All Implemented Interfaces:
    ABARule<T>, Formula, Rule<T,​T>

    public class Assumption<T extends Formula>
    extends java.lang.Object
    implements ABARule<T>
    Author:
    Nils Geilen (geilenn@uni-koblenz.de) An assumption of an ABA theory
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) T assumption
      The assumed formula
    • Constructor Summary

      Constructors 
      Constructor Description
      Assumption​(T assumption)
      Creates a new assumption
    • Method Summary

      Modifier and Type Method Description
      void addPremise​(T premise)  
      void addPremises​(java.util.Collection<? extends T> premises)  
      boolean equals​(java.lang.Object obj)  
      T getConclusion()
      Returns the conclusion of this rule.
      T getFormula()
      Returns the inner formula of this assumption.
      java.util.Collection<? extends T> getPremise()
      Returns the premise of this rule.
      Signature getSignature()
      Returns the signature of the language of this formula.
      int hashCode()  
      boolean isAssumption()  
      boolean isConstraint()  
      boolean isFact()  
      void setConclusion​(T conclusion)  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • assumption

        T extends Formula assumption
        The assumed formula
    • Constructor Detail

      • Assumption

        public Assumption​(T assumption)
        Creates a new assumption
        Parameters:
        assumption - the assumed formula
    • Method Detail

      • addPremises

        public void addPremises​(java.util.Collection<? extends T> premises)
        Specified by:
        addPremises in interface Rule<T extends Formula,​T extends Formula>
      • getSignature

        public Signature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        Specified by:
        getSignature in interface Formula
        Specified by:
        getSignature in interface Rule<T extends Formula,​T extends Formula>
        Returns:
        the signature of the language of this formula.
      • getPremise

        public java.util.Collection<? extends T> getPremise()
        Description copied from interface: Rule
        Returns the premise of this rule.
        Specified by:
        getPremise in interface Rule<T extends Formula,​T extends Formula>
        Returns:
        the premise of this rule.
      • getConclusion

        public T getConclusion()
        Description copied from interface: Rule
        Returns the conclusion of this rule.
        Specified by:
        getConclusion in interface Rule<T extends Formula,​T extends Formula>
        Returns:
        the conclusion of this rule.
      • getFormula

        public T getFormula()
        Returns the inner formula of this assumption.
        Returns:
        the inner formula of this assumption.
      • isAssumption

        public boolean isAssumption()
        Specified by:
        isAssumption in interface ABARule<T extends Formula>
        Returns:
        whether this rule is an assumption
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

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