Modifier and Type | Field and Description |
---|---|
private T |
formula
The formula of this information object
|
private Agent |
source
The source of this information object.
|
Constructor and Description |
---|
InformationObject(T formula,
Agent source)
Creates a new information object for the given formula
and the given source.
|
Modifier and Type | Method and 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() |
private Agent source
public Agent getSource()
public T getFormula()
public Signature getSignature()
Formula
getSignature
in interface Formula
public java.lang.String toString()
toString
in class java.lang.Object