Class InformationObject<T extends net.sf.tweety.commons.Formula>

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

    public class InformationObject<T extends net.sf.tweety.commons.Formula>
    extends Object
    implements net.sf.tweety.commons.Formula
    This class represents a formula annotated with the source of the formula.
    Author:
    Matthias Thimm
    • Constructor Detail

      • InformationObject

        public InformationObject​(T formula,
                                 net.sf.tweety.agents.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 net.sf.tweety.agents.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 net.sf.tweety.commons.Signature getSignature()
        Specified by:
        getSignature in interface net.sf.tweety.commons.Formula