jason.stdlib
Class literal
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.literal
- All Implemented Interfaces:
- InternalAction, java.io.Serializable
public class literal
- extends DefaultInternalAction
Internal action: .literal
.
Description: checks whether the argument is a literal,
e.g.: "p", "p(1)", "p(1)[a,b]", "~p(1)[a,b]".
Parameter:
- + argument (any term): the term to be checked.
Examples:
-
.literal(b(10))
: true.
-
.literal(b)
: true.
-
.literal(10)
: false.
-
.literal("Jason")
: false.
-
.literal(X)
: false if X is free, true if X is bound to a literal.
-
.literal(a(X))
: true.
-
.literal([a,b,c])
: false.
-
.literal([a,b,c(X)])
: false.
- See Also:
atom
,
list
,
number
,
string
,
structure
,
ground
,
Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
literal
public literal()
create
public static InternalAction create()
getMinArgs
public int getMinArgs()
- Overrides:
getMinArgs
in class DefaultInternalAction
getMaxArgs
public int getMaxArgs()
- Overrides:
getMaxArgs
in class DefaultInternalAction
execute
public java.lang.Object execute(TransitionSystem ts,
Unifier un,
Term[] args)
throws java.lang.Exception
- 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 interface InternalAction
- Overrides:
execute
in class DefaultInternalAction
- Throws:
java.lang.Exception