| 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()
FormulagetSignature in interface Formulapublic java.lang.String toString()
toString in class java.lang.Object