Package net.sf.tweety.beliefdynamics.mas
Class InformationObject<T extends net.sf.tweety.commons.Formula>
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.mas.InformationObject<T>
-
- 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 Summary
Constructors Constructor Description InformationObject(T formula, net.sf.tweety.agents.Agent source)Creates a new information object for the given formula and the given source.
-
Method Summary
Modifier and Type Method Description TgetFormula()Returns the formula of this information object.net.sf.tweety.commons.SignaturegetSignature()net.sf.tweety.agents.AgentgetSource()Returns the source of this information object.StringtoString()
-
-
-
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:
getSignaturein interfacenet.sf.tweety.commons.Formula
-
-