jmadem
Class eval
java.lang.Object
DefaultInternalAction
jmadem.eval
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 with
true
.
-
.eval(X, 3<5 & not 4+2<3)
: X
unifies
with true
.
Constructor Summary |
eval()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
eval
public eval()
getMinArgs
public int getMinArgs()
getMaxArgs
public int getMaxArgs()
prepareArguments
public Term[] prepareArguments(Literal body,
Unifier un)
checkArguments
protected void checkArguments(Term[] args)
throws JasonException
- Throws:
JasonException
execute
public java.lang.Object execute(TransitionSystem ts,
Unifier un,
Term[] args)
throws java.lang.Exception
- Throws:
java.lang.Exception