jade.content.abs
Class AbsIRE
java.lang.Object
|
+--jade.content.abs.AbsObjectImpl
|
+--jade.content.abs.AbsIRE
- public class AbsIRE
- extends AbsObjectImpl
- implements AbsContentElement, AbsTerm
Represent an Abstract descriptor that can hold an Identifying
Referential Expression (IRE).
Note that an IRE is both a content element (as in the case of
a QUERY-REF communicative act) and a Term (as in the case of
(== (X) (iota ?x P(?x))
- Author:
- Paola Turci, Federico Bergenti - Universita` di Parma
- See Also:
- Serialized Form
Constructor Summary |
AbsIRE(java.lang.String typeName)
Construct an Abstract descriptor to hold a IRE of
the proper type (e.g. |
Methods inherited from class java.lang.Object |
clone,
finalize,
getClass,
notify,
notifyAll,
wait,
wait,
wait |
AbsIRE
public AbsIRE(java.lang.String typeName)
- Construct an Abstract descriptor to hold a IRE of
the proper type (e.g. ANY, IOTA, ALL...).
- Parameters:
typeName
- The name of the type of the IRE held by
this abstract descriptor.
setVariable
public void setVariable(AbsVariable variable)
- Sets the variable of this IRE.
- Parameters:
variable
- The abstract descriptor holding the variable.
setProposition
public void setProposition(AbsPredicate proposition)
- Sets the proposition of this IRE.
- Parameters:
proposition
- The abstract descriptor holding the proposition.
getVariable
public AbsVariable getVariable()
- Gets the variable of this IRE.
- Returns:
- the abstract descriptor holding the variable of this IRE.
getProposition
public AbsPredicate getProposition()
- Gets the proposition of this IRE.
- Returns:
- the abstract descriptor holding the proposition of this IRE.
isGrounded
public boolean isGrounded()
- Redefine the
isGrounded()
method in order to
always return false
. Infact an IRE always
includes a variable.
- Overrides:
- isGrounded in class AbsObjectImpl
- Tags copied from interface: AbsObject
- Returns:
true
if the object is grounded.
getJavaClass
public static java.lang.Class getJavaClass()