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

Constructor Summary

initialQuery()

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

Constructor Detail

initialQuery

public initialQuery()

Method Detail

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