Uses of Class
jade.content.abs.AbsPredicate

Packages that use AbsPredicate

Package	Description
jade.content.abs
jade.content.lang.sl

Uses of AbsPredicate in jade.content.abs

Methods in jade.content.abs that return AbsPredicate

Modifier and Type	Method	Description
AbsPredicate	AbsIRE.getProposition()	Gets the proposition of this IRE.

Methods in jade.content.abs with parameters of type AbsPredicate

Modifier and Type	Method	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.

Uses of AbsPredicate in jade.content.lang.sl

Methods in jade.content.lang.sl that return AbsPredicate

Modifier and Type	Method	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

Methods in jade.content.lang.sl with parameters of type AbsPredicate

Modifier and Type	Method	Description
String	SLCodec.encodeFormula(Ontology ontology, AbsPredicate formula)	Encodes the content into a String, where the content is known to be a Well-formed Formula