Package jason.stdlib
Class eval
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.eval
- All Implemented Interfaces:
InternalAction
,Serializable
@Manual(literal=".eval(term,query)",
hint="evaluates the logical expression (which computes to true or false), the result is unified with term",
argsHint={"the variable that unifies with the result of evaluation","the formula that is evaluated"},
argsType={"variable, atoms true or false","logical formula"},
examples={".eval(X, true | false): X unifies with true",".eval(X, 3<5 & not 4+2<3): X unifies with true"},
seeAlso="")
public class eval
extends DefaultInternalAction
Internal action: .eval(Var,Logical Expression)
.
Description: evaluates the logical expression (which computes to true or false), the result is unified with Var.
Parameters:
- + term (variable, atoms true or false): the variable that unifies with the result of evaluation.
- + query (logical formula): the formula that is evaluated.
Examples:
-
.eval(X, true | false)
:X
unifies withtrue
. -
.eval(X, 3invalid input: '<'5 invalid input: '&' not 4+2invalid input: '<'3)
:X
unifies withtrue
.
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
checkArguments
(Term[] args) execute
(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.int
int
Term[]
prepareArguments
(Literal body, Unifier un) Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each termMethods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, destroy, suspendIntention
-
Constructor Details
-
eval
public eval()
-
-
Method Details
-
getMinArgs
public int getMinArgs()- Overrides:
getMinArgs
in classDefaultInternalAction
-
getMaxArgs
public int getMaxArgs()- Overrides:
getMaxArgs
in classDefaultInternalAction
-
prepareArguments
Description copied from interface:InternalAction
Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each term- Specified by:
prepareArguments
in interfaceInternalAction
- Overrides:
prepareArguments
in classDefaultInternalAction
-
checkArguments
- Overrides:
checkArguments
in classDefaultInternalAction
- Throws:
JasonException
-
execute
Description copied from interface:InternalAction
Executes the internal action. It should return a Boolean or an Iterator. A true boolean return means that the IA was successfully executed. An Iterator result means that there is more than one answer for this IA (e.g. see member internal action). - Specified by:
execute
in interfaceInternalAction
- Overrides:
execute
in classDefaultInternalAction
- Throws:
Exception
-