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 and 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 and Description
T	getFormula() Returns the formula of this information object.
net.sf.tweety.commons.Signature	getSignature()
net.sf.tweety.agents.Agent	getSource() Returns the source of this information object.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

toString

public String toString()

Overrides:

toString in class Object