|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jason.asSemantics.DefaultInternalAction jason.stdlib.if_then_else
public class if_then_else
Implementation of if.
Syntax:
if ( logical formula ) { plan_body1 [ } else { plan_body2 ] }
if logical formula holds, plan_body1 is executed; otherwise, plan_body2 is executed.
Example:
+event : context <- .... if (vl(X) & X > 10) { // where vl(X) is a belief .print("value > 10"); } ....The unification is changed by the evaluation of the logical formula, i.e., X might have a value after if.
Constructor Summary | |
---|---|
if_then_else()
|
Method Summary | |
---|---|
protected void |
checkArguments(Term[] args)
|
static InternalAction |
create()
|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action. |
int |
getMaxArgs()
|
int |
getMinArgs()
|
Term[] |
prepareArguments(Literal body,
Unifier un)
Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each term |
Methods inherited from class jason.asSemantics.DefaultInternalAction |
---|
canBeUsedInContext, suspendIntention |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public if_then_else()
Method Detail |
---|
public static InternalAction create()
public Term[] prepareArguments(Literal body, Unifier un)
InternalAction
prepareArguments
in interface InternalAction
prepareArguments
in class DefaultInternalAction
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
protected void checkArguments(Term[] args) throws JasonException
checkArguments
in class DefaultInternalAction
JasonException
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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |