Class InformationObject<T extends Formula>

  • Type Parameters:
    T - The type of the inner formula.
    All Implemented Interfaces:
    Formula

    public class InformationObject<T extends Formula>
    extends java.lang.Object
    implements Formula
    This class represents a formula annotated with the source of the formula.
    Author:
    Matthias Thimm
    • Constructor Summary

      Constructors 
      Constructor Description
      InformationObject​(T formula, Agent source)
      Creates a new information object for the given formula and the given source.
    • Method Summary

      Modifier and Type Method Description
      T getFormula()
      Returns the formula of this information object.
      Signature getSignature()
      Returns the signature of the language of this formula.
      Agent getSource()
      Returns the source of this information object.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • InformationObject

        public InformationObject​(T formula,
                                 Agent source)
        Creates a new information object for the given formula and the given source.
        Parameters:
        formula - some formula.
        source - some agent.
    • Method Detail

      • getSource

        public Agent getSource()
        Returns the source of this information object.
        Returns:
        the source of this information object.
      • getFormula

        public T getFormula()
        Returns the formula of this information object.
        Returns:
        the formula of this information object.
      • getSignature

        public Signature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        Specified by:
        getSignature in interface Formula
        Returns:
        the signature of the language of this formula.
      • toString

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