Uses of Class
jason.asSyntax.Atom
Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax | |
jason.asSyntax.directives | |
jason.bb | |
jason.stdlib |
Internal actions of Jason.
|
-
Uses of Atom in jason.asSemantics
Fields in jason.asSemantics declared as Atom Modifier and Type Field Description static Atom
Intention. noReason
-
Uses of Atom in jason.asSyntax
Subclasses of Atom in jason.asSyntax Modifier and Type Class Description class
ArithExpr
Represents and solve arithmetic expressions like "10 + 30".class
ArithFunctionTerm
Represents an arithmetic function, like math.max(arg1,arg2) -- a functor (math.max) and two arguments.class
BinaryStructure
Represents a binary/unary logical/relational operator.class
CyclicTerm
A term with recursion (cyclic), created by code like X = f(X).class
InternalActionLiteral
A particular type of literal used to represent internal actions (which has a "." in the functor).class
ListTermImpl
Represents a list node as in prolog .(t1,.(t2,.(t3,.))).private static class
Literal.DefaultNameSpace
(package private) static class
Literal.FalseLiteral
(package private) static class
Literal.TrueLiteral
class
LiteralImpl
A Literal extends a Pred with strong negation (~).class
LogExpr
Represents a logical formula with some logical operator ("&", "|", "not").class
Plan
Represents an AgentSpeak plan (it extends structure to be used as a term)class
PlanBodyImpl
Represents a plan body item (achieve, test, action, ...) and its successors.class
Pred
A Pred extends a Structure with annotations, e.g.: a(1)[an1,an2].class
RelExpr
Represents a relational expression like 10 > 20.class
Rule
A rule is a Literal (head) with a body, as in "a :- b & c".class
Structure
Represents a structure: a functor with n arguments, e.g.: val(10,x(3)).class
Trigger
Represents an AgentSpeak trigger (like +!g, +p, ...).class
UnnamedVar
Represents an unnamed variable '_'.class
VarTerm
Represents a variable Term: like X (starts with upper case).Fields in jason.asSyntax declared as Atom Modifier and Type Field Description static Atom
SourceInfo. aNOCODE
static Atom
Literal. DefaultNS
private Atom
Atom. ns
private Atom
PredicateIndicator. ns
Fields in jason.asSyntax with type parameters of type Atom Modifier and Type Field Description (package private) static java.util.Map<java.lang.String,Atom>
ASSyntax. atomCache
Methods in jason.asSyntax that return Atom Modifier and Type Method Description static Atom
ASSyntax. createAtom(java.lang.String functor)
creates a new Atom term (an atom is a structure with 0-arity)Atom
Atom. getNS()
Atom
Literal.DefaultNameSpace. getNS()
abstract Atom
Literal. getNS()
returns the name spaceof this literalAtom
PredicateIndicator. getNS()
Methods in jason.asSyntax with parameters of type Atom Modifier and Type Method Description Literal
ArithExpr. cloneNS(Atom newnamespace)
Literal
ArithFunctionTerm. cloneNS(Atom newnamespace)
Literal
Atom. cloneNS(Atom newnamespace)
Term
DefaultTerm. cloneNS(Atom newnamespace)
Literal
InternalActionLiteral. cloneNS(Atom newnamespace)
Literal
Literal.DefaultNameSpace. cloneNS(Atom newnamespace)
Literal
Literal.FalseLiteral. cloneNS(Atom newnamespace)
Literal
Literal.TrueLiteral. cloneNS(Atom newnamespace)
Literal
LiteralImpl. cloneNS(Atom newNameSpace)
Literal
LogExpr. cloneNS(Atom newnamespace)
Plan
Plan. cloneNS(Atom ns)
Literal
Pred. cloneNS(Atom newnamespace)
Literal
RelExpr. cloneNS(Atom newnamespace)
Literal
Structure. cloneNS(Atom newnamespace)
Term
Term. cloneNS(Atom newnamespace)
clone in another namespaceLiteral
UnnamedVar. cloneNS(Atom newNameSpace)
Literal
VarTerm. cloneNS(Atom newNameSpace)
static UnnamedVar
UnnamedVar. create(Atom ns, int id, java.lang.String name)
static UnnamedVar
UnnamedVar. create(Atom ns, java.lang.String name)
static Literal
ASSyntax. createLiteral(Atom namespace, boolean positive, java.lang.String functor, Term... terms)
Creates a new literal, the first argument is the namespace, the second is either Literal.LPos or Literal.LNeg, the third is the functor (a string), and the n remainder arguments are terms.static Literal
ASSyntax. createLiteral(Atom namespace, java.lang.String functor, Term... terms)
static VarTerm
ASSyntax. createVar(Atom namespace, java.lang.String functor)
creates a new variable term in a namespaceConstructors in jason.asSyntax with parameters of type Atom Constructor Description Atom(Atom namespace, Literal l)
Atom(Atom namespace, java.lang.String functor)
InternalActionLiteral(Atom ns, InternalActionLiteral l)
InternalActionLiteral(Atom ns, Structure p, Agent ag)
LiteralImpl(Atom namespace, boolean pos, Literal l)
creates a literal based on another but in another name space and signalLiteralImpl(Atom namespace, boolean pos, java.lang.String functor)
if pos == true, the literal is positive, otherwise it is negativePred(Atom namespace, Literal l)
Pred(Atom namespace, java.lang.String functor)
PredicateIndicator(Atom ns, java.lang.String functor, int arity)
Structure(Atom namespace, Literal l)
Structure(Atom namespace, java.lang.String functor)
UnnamedVar(Atom ns)
UnnamedVar(Atom ns, int id)
UnnamedVar(Atom ns, java.lang.String name)
VarTerm(Atom namespace, Literal v)
VarTerm(Atom namespace, java.lang.String functor)
-
Uses of Atom in jason.asSyntax.directives
Fields in jason.asSyntax.directives with type parameters of type Atom Modifier and Type Field Description private java.util.Map<Atom,Atom>
NameSpace. localNSs
private java.util.Map<Atom,Atom>
NameSpace. localNSs
(package private) java.util.Stack<Atom>
NameSpace. oldNS
Methods in jason.asSyntax.directives that return Atom Modifier and Type Method Description private Atom
NameSpace. addLocalNS(Atom ns)
Atom
NameSpace. map(Atom ns)
Methods in jason.asSyntax.directives with parameters of type Atom Modifier and Type Method Description private Atom
NameSpace. addLocalNS(Atom ns)
boolean
NameSpace. isLocalNS(Atom ns)
Atom
NameSpace. map(Atom ns)
-
Uses of Atom in jason.bb
Fields in jason.bb with type parameters of type Atom Modifier and Type Field Description private java.util.Map<Atom,java.util.Map<PredicateIndicator,DefaultBeliefBase.BelEntry>>
DefaultBeliefBase. nameSpaces
Methods in jason.bb that return types with arguments of type Atom Modifier and Type Method Description java.util.Set<Atom>
BeliefBase. getNameSpaces()
java.util.Set<Atom>
ChainBBAdapter. getNameSpaces()
java.util.Set<Atom>
DefaultBeliefBase. getNameSpaces()
Methods in jason.bb with parameters of type Atom Modifier and Type Method Description boolean
BeliefBase. abolish(Atom namespace, PredicateIndicator pi)
boolean
DefaultBeliefBase. abolish(Atom namespace, PredicateIndicator pi)
-
Uses of Atom in jason.stdlib