Package | Description |
---|---|
jade.content.abs | |
jade.content.lang.sl |
Modifier and Type | Method and Description |
---|---|
AbsPredicate |
AbsIRE.getProposition()
Gets the proposition of this IRE.
|
Modifier and Type | Method and Description |
---|---|
void |
AbsAgentAction.set(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.
|
Modifier and Type | Method and Description |
---|---|
AbsPredicate |
SLCodec.decodeFormula(Ontology ontology,
String formula)
Decodes the content to an abstract description, where the content is known to be a Well-formed Formula
|
AbsPredicate |
SLParser.Wff_NoBrace() |
AbsPredicate |
ExtendedSLParser.Wff_NoBrace() |
AbsPredicate |
SLParser.Wff() |
AbsPredicate |
ExtendedSLParser.Wff() |
Modifier and Type | Method and Description |
---|---|
private void |
SLCodec.encodeAndAppend(AbsPredicate val)
Encode the passed Abstract Predicate and append its encoding to buffer
|
String |
SLCodec.encodeFormula(Ontology ontology,
AbsPredicate formula)
Encodes the content into a String, where the content is known to be a Well-formed Formula
|