|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AbsPredicate | |
|---|---|
| jade.content.abs | |
| jade.content.lang.sl | |
| Uses of AbsPredicate in jade.content.abs |
|---|
| Methods in jade.content.abs that return AbsPredicate | |
|---|---|
AbsPredicate |
AbsIRE.getProposition()
Gets the proposition of this IRE. |
| Methods in jade.content.abs with parameters of type AbsPredicate | |
|---|---|
void |
AbsAgentAction.set(java.lang.String name,
AbsPredicate value)
Set an attribute of the agent action held by this abstract descriptor. |
void |
AbsIRE.setProposition(AbsPredicate proposition)
Sets the proposition of this IRE. |
| Uses of AbsPredicate in jade.content.lang.sl |
|---|
| Methods in jade.content.lang.sl that return AbsPredicate | |
|---|---|
AbsPredicate |
SLCodec.decodeFormula(Ontology ontology,
java.lang.String formula)
Decodes the content to an abstract description, where the content is known to be a Well-formed Formula |
| Methods in jade.content.lang.sl with parameters of type AbsPredicate | |
|---|---|
java.lang.String |
SLCodec.encodeFormula(Ontology ontology,
AbsPredicate formula)
Encodes the content into a String, where the content is known to be a Well-formed Formula |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||