Class InformationObject<T extends Formula>
java.lang.Object
org.tweetyproject.beliefdynamics.mas.InformationObject<T>
- Type Parameters:
T
- The type of the inner formula.
- All Implemented Interfaces:
Formula
This class represents a formula annotated with the source of the formula.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionInformationObject
(T formula, Agent source) Creates a new information object for the given formula and the given source. -
Method Summary
Modifier and TypeMethodDescriptionReturns the formula of this information object.Returns the signature of the language of this formula.Returns the source of this information object.toString()
-
Constructor Details
-
InformationObject
Creates a new information object for the given formula and the given source.- Parameters:
formula
- some formula.source
- some agent.
-
-
Method Details
-
getSource
Returns the source of this information object.- Returns:
- the source of this information object.
-
getFormula
Returns the formula of this information object.- Returns:
- the formula of this information object.
-
getSignature
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
toString
-