|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjason.asSemantics.DefaultInternalAction
jason.stdlib.add_annot
public class add_annot
Internal action: .add_annot
.
Description: adds an annotation to a literal.
Parameters:
Examples:
.add_annot(a,source(jomi),B)
: B
unifies with a[source(jomi)]
..add_annot(a,source(jomi),b[jomi])
: fails because
the result of the addition does not unify with the third argument..add_annot([a1,a2], source(jomi), B)
: B
unifies with [a1[source(jomi)], a2[source(jomi)]]
.Note: instead of using this internal action, you can use
direct unification.
.add_annot(a,source(jomi),B)
can
be replaced by B = a[source(jomi)]
;
.add_annot(X,source(jomi),B)
can be replaced by B =
X[source(jomi)]
.
add_nested_source
,
Serialized FormConstructor Summary | |
---|---|
add_annot()
|
Method Summary | |
---|---|
protected Term |
addAnnotToList(Unifier unif,
Term l,
Term annot)
|
static InternalAction |
create()
|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action. |
int |
getMaxArgs()
|
int |
getMinArgs()
|
Methods inherited from class jason.asSemantics.DefaultInternalAction |
---|
canBeUsedInContext, checkArguments, prepareArguments, suspendIntention |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public add_annot()
Method Detail |
---|
public static InternalAction create()
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
public java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
InternalAction
execute
in interface InternalAction
execute
in class DefaultInternalAction
java.lang.Exception
protected Term addAnnotToList(Unifier unif, Term l, Term annot) throws JasonException
JasonException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |