jildt.tilde
Class initialQuery
java.lang.Object
jason.asSemantics.DefaultInternalAction
jildt.tilde.initialQuery
- All Implemented Interfaces:
- jason.asSemantics.InternalAction, java.io.Serializable
public class initialQuery
- extends jason.asSemantics.DefaultInternalAction
Internal action to form the initial query Qi of a tree. The initial query is an one-size-list,
where the only member of the list is a literal intend/1
. The argument in the literal is
formed by the trigger event of a plan P, which links the variables of the plan with the ones in
an induced tree.
Use:
jildt.tilde.initialQuery(P,Qi)
Parameters:
- + plan label (Literal): the label of the plan which will link the variables.
- +/- initial query (List): the initial query of the tree.
Examples:
Given the plan: @put_label +!put(X,Y) : clear(X) & clear(Y) <- move(X,Y).
-
jildt.tilde.initialQuery(put_label,Qi)
: Qi unifies with the list [intend(put(X,Y))].
-
jildt.tilde.initialQuery(put_label,[intend(put(X,Y))])
: returns true.
-
jildt.tilde.initialQuery(put_label,[intend(put(A,B))])
: returns true.
-
jildt.tilde.initialQuery(put_label,[put(X,Y)])
: returns false.
-
jildt.tilde.initialQuery(P,Qi, X)
: Throws an exception due to only two arguments are
needed for executing the internal action.
-
jildt.tilde.initialQuery(put_label, put(X,Y))
: Throws an exception because the second argument
must be either an unbounded variable or a list.
- Author:
- Carlos Alberto González-Alarcón, Alejandro Guerra-Hernández, Francisco Grimaldo-Moreno
- See Also:
- Serialized Form
Method Summary |
java.lang.Object |
execute(jason.asSemantics.TransitionSystem ts,
jason.asSemantics.Unifier un,
jason.asSyntax.Term[] args)
|
int |
getMaxArgs()
|
int |
getMinArgs()
|
Methods inherited from class jason.asSemantics.DefaultInternalAction |
canBeUsedInContext, prepareArguments, suspendIntention |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
initialQuery
public initialQuery()
execute
public java.lang.Object execute(jason.asSemantics.TransitionSystem ts,
jason.asSemantics.Unifier un,
jason.asSyntax.Term[] args)
throws java.lang.Exception
- Specified by:
execute
in interface jason.asSemantics.InternalAction
- Overrides:
execute
in class jason.asSemantics.DefaultInternalAction
- Throws:
java.lang.Exception
getMinArgs
public int getMinArgs()
- Overrides:
getMinArgs
in class jason.asSemantics.DefaultInternalAction
getMaxArgs
public int getMaxArgs()
- Overrides:
getMaxArgs
in class jason.asSemantics.DefaultInternalAction