|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjason.asSemantics.DefaultInternalAction
jason.stdlib.atom
public class atom
Internal action: .atom
.
Description: checks whether the argument is an atom (a structure with arity 0), for example "p". Numbers, strings, and free variables are not atoms.
Parameters:
Examples:
.atom(b(10))
: false.
.atom(b)
: true.
.atom(~b)
: false.
.atom(10)
: false.
.atom("home page")
: false.
.atom(X)
: only true if X is bound to an atom.
.atom(a(X))
: false.
.atom(a[X])
: false.
.atom([a,b,c])
: false.
.atom([a,b,c(X)])
: false.
atom
,
list
,
literal
,
number
,
string
,
structure
,
ground
,
Serialized FormConstructor Summary | |
---|---|
atom()
|
Method Summary | |
---|---|
static InternalAction |
create()
|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action. |
int |
getMaxArgs()
|
int |
getMinArgs()
|
Methods inherited from class jason.asSemantics.DefaultInternalAction |
---|
canBeUsedInContext, checkArguments, prepareArguments, suspendIntention |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public atom()
Method Detail |
---|
public static InternalAction create()
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
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 |