Uses of Class
jason.asSyntax.Literal
Package | Description |
---|---|
jason.architecture | |
jason.asSemantics | |
jason.asSyntax | |
jason.bb | |
jason.environment | |
jason.infra.jade | |
jason.infra.local | |
jason.profiling | |
jason.stdlib |
Internal actions of Jason.
|
-
Uses of Literal in jason.architecture
Methods in jason.architecture that return types with arguments of type Literal Modifier and Type Method Description java.util.Collection<Literal>
AgArch. perceive()
Gets the agent's perception as a list of Literals. -
Uses of Literal in jason.asSemantics
Fields in jason.asSemantics declared as Literal Modifier and Type Field Description private Literal
ActionExec. action
private Literal
ActionExec. failureReason
(package private) Literal
QueryCacheKey. l
Fields in jason.asSemantics with type parameters of type Literal Modifier and Type Field Description private java.util.Map<PredicateIndicator,java.util.List<Pair<Literal,java.util.List<Unifier>>>>
QueryCacheAdv. cache
private java.util.Map<Literal,java.util.List<Unifier>>
QueryCacheSimple. cache
private java.util.List<Literal>
Agent. initialBels
private java.util.List<Literal>
Agent. initialGoals
private java.util.Map<PredicateIndicator,java.util.List<Pair<Literal,java.util.List<Unifier>>>>
QueryCacheAdv. tmp
Methods in jason.asSemantics that return Literal Modifier and Type Method Description Literal
Agent. findBel(Literal bel, Unifier un)
Find a literal in BB using unification to test.Literal
ActionExec. getFailureReason()
Literal
QueryCacheKey. getLiteral()
private Literal
TransitionSystem. prepareBodyForEvent(Literal body, Unifier u, IntendedMeans imRenamedVars)
Methods in jason.asSemantics that return types with arguments of type Literal Modifier and Type Method Description java.util.List<Literal>[]
Agent. brf(Literal beliefToAdd, Literal beliefToDel, Intention i)
This function should revise the belief base with the given literal to add, to remove, and the current intention that triggered the operation.java.util.List<Literal>[]
Agent. brf(Literal beliefToAdd, Literal beliefToDel, Intention i, boolean addEnd)
This function should revise the belief base with the given literal to add, to remove, and the current intention that triggered the operation.Pair<Literal,java.util.Iterator<Unifier>>
QueryCacheAdv. getCache(Literal f)
java.util.List<Literal>
Agent. getInitialBels()
java.util.Collection<Literal>
Agent. getInitialGoals()
Methods in jason.asSemantics with parameters of type Literal Modifier and Type Method Description void
Agent. abolish(Literal bel, Unifier un)
Removes all occurrences of bel in BB.Event
Circumstance. addAchvGoal(Literal l, Intention i)
void
QueryCacheAdv. addAnswer(Literal f, Unifier a)
boolean
Agent. addBel(Literal bel)
Adds bel in belief base (calling brf) and generates the events.private void
Agent. addInitBel(Literal b)
void
Agent. addInitialBel(Literal b)
Belief b will be stored to be included as an ordinary belief when the agent will start running.void
Agent. addInitialGoal(Literal g)
goal g will be stored to be included as an initial goal when the agent will start runningjava.util.List<Literal>[]
Agent. brf(Literal beliefToAdd, Literal beliefToDel, Intention i)
This function should revise the belief base with the given literal to add, to remove, and the current intention that triggered the operation.java.util.List<Literal>[]
Agent. brf(Literal beliefToAdd, Literal beliefToDel, Intention i, boolean addEnd)
This function should revise the belief base with the given literal to add, to remove, and the current intention that triggered the operation.boolean
Agent. delBel(Literal bel)
If the agent believes in bel, removes it (calling brf) and generate the event.Literal
Agent. findBel(Literal bel, Unifier un)
Find a literal in BB using unification to test.private void
Agent. fixAgInIAandFunctions(Agent a, Literal l)
private void
GoalListenerForMetaEvents. generateGoalStateEvent(Literal goal, Trigger.TEType type, GoalListener.GoalStates state, Term reason)
Pair<Literal,java.util.Iterator<Unifier>>
QueryCacheAdv. getCache(Literal f)
java.util.Iterator<Unifier>
QueryCacheSimple. getCache(Literal f)
Term[]
ConcurrentInternalAction. prepareArguments(Literal body, Unifier un)
Term[]
DefaultInternalAction. prepareArguments(Literal body, Unifier un)
Term[]
InternalAction. prepareArguments(Literal body, Unifier un)
Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each termprivate Literal
TransitionSystem. prepareBodyForEvent(Literal body, Unifier u, IntendedMeans imRenamedVars)
void
QueryCacheAdv. queryFinished(Literal f)
void
QueryCacheSimple. queryFinished(Literal f, java.util.List<Unifier> r)
void
ActionExec. setFailureReason(Literal reason, java.lang.String msg)
private boolean
Unifier. unifiesNamespace(Literal t1s, Literal t2s)
Method parameters in jason.asSemantics with type arguments of type Literal Modifier and Type Method Description int
Agent. buf(java.util.Collection<Literal> percepts)
Belief Update Function: adds/removes percepts into belief base.Constructors in jason.asSemantics with parameters of type Literal Constructor Description ActionExec(Literal ac, Intention i)
QueryCacheKey(Literal o1)
-
Uses of Literal in jason.asSyntax
Subclasses of Literal 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
Atom
Represents an atom (a positive literal with no argument and no annotation, e.g.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 Literal Modifier and Type Field Description static Literal
Literal. LFalse
private Literal
Trigger. literal
static Literal
Literal. LTrue
Methods in jason.asSyntax that return Literal Modifier and Type Method Description Literal
Literal. addAnnots(Term... terms)
adds some annots and return thisLiteral
Literal. addAnnots(java.util.List<Term> l)
adds some annots and return thisLiteral
Pred. addAnnots(Term... l)
Literal
Pred. addAnnots(java.util.List<Term> l)
Literal
Literal. addSource(Term agName)
adds the annotation source(agName)Literal
Pred. addSource(Term agName)
Literal
Literal. addSourceInfoAsAnnots(SourceInfo info)
Literal
Literal. addTerms(Term... ts)
adds some terms and return thisLiteral
Literal. addTerms(java.util.List<Term> l)
adds some terms and return thisLiteral
Structure. addTerms(Term... ts)
Literal
Structure. addTerms(java.util.List<Term> l)
Literal
VarTerm. addTerms(java.util.List<Term> l)
Literal
Literal. clearAnnots()
removes all annotations and returns itselfLiteral
Pred. clearAnnots()
Literal
ArithExpr. cloneNS(Atom newnamespace)
Literal
ArithFunctionTerm. cloneNS(Atom newnamespace)
Literal
Atom. 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)
Literal
Pred. cloneNS(Atom newnamespace)
Literal
RelExpr. cloneNS(Atom newnamespace)
Literal
Structure. cloneNS(Atom newnamespace)
Literal
UnnamedVar. cloneNS(Atom newNameSpace)
Literal
VarTerm. cloneNS(Atom newNameSpace)
Literal
Literal. copy()
static Literal
ASSyntax. createLiteral(boolean positive, java.lang.String functor, Term... terms)
Creates a new literal, the first argument is either Literal.LPos or Literal.LNeg, the second is the functor (a string), and the n remainder arguments are terms.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 Literal
ASSyntax. createLiteral(java.lang.String functor, Term... terms)
Creates a new positive literal, the first argument is the functor (a string) and the n remainder arguments are terms.Literal
Literal. forceFullLiteralImpl()
Transforms this into a full literal (which implements all methods of Literal), if it is an Atom; otherwise returns 'this'Literal
Literal. getAnnot(java.lang.String functor)
returns the first annotation (literal) that has the functorLiteral
Pred. getAnnot(java.lang.String functor)
find the first annotation with a given functor (only literal annots are considered)Literal
Rule. getHead()
Literal
Trigger. getLiteral()
Literal
Rule. headCApply(Unifier u)
Literal
Rule. headClone()
Literal
CyclicTerm. makeVarsAnnon(Unifier u)
Literal
InternalActionLiteral. makeVarsAnnon(Unifier un)
Literal
Literal. makeVarsAnnon()
replaces all variables by unnamed variables (_).Literal
Literal. makeVarsAnnon(Unifier un)
replaces all variables of the term for unnamed variables (_).Literal
Pred. makeVarsAnnon(Unifier un)
Literal
Rule. makeVarsAnnon(Unifier un)
Literal
Structure. makeVarsAnnon()
Literal
Structure. makeVarsAnnon(Unifier un)
static Literal
Literal. newFromListOfTerms(ListTerm lt)
creates a literal from a list with four elements: [namespace, functor, list of terms, list of annots] (namespace is optional)Literal
Literal. newFunctor(java.lang.String f)
Literal
Literal. noSource()
static Literal
ASSyntax. parseLiteral(java.lang.String sLiteral)
creates a new literal by parsing a stringstatic Literal
Literal. parseLiteral(java.lang.String sLiteral)
creates a new literal by parsing a string -- ASSyntax.parseLiteral or createLiteral are preferred.Literal
Literal. setAnnots(ListTerm l)
Literal
Pred. setAnnots(ListTerm l)
Literal
Literal. setNegated(boolean b)
changes the negation of the literal and return thisLiteral
LiteralImpl. setNegated(boolean b)
Literal
Literal. setTerms(java.util.List<Term> l)
set all terms of the literal and return thisLiteral
Structure. setTerms(java.util.List<Term> l)
Literal
VarTerm. setTerms(java.util.List<Term> l)
Methods in jason.asSyntax with parameters of type Literal Modifier and Type Method Description static Rule
ASSyntax. createRule(Literal head, LogicalFormula body)
Creates a new rule with a head and a bodyPlan
PlanLibrary. get(Literal label)
return a plan for a labelprivate java.lang.String
PlanLibrary. getStringForLabel(Literal p)
boolean
Literal. hasSubsetAnnot(Literal p)
returns true if all this predicate annots are in p's annotsboolean
Literal. hasSubsetAnnot(Literal p, Unifier u)
Returns true if all this predicate's annots are in p's annots using the unifier u.boolean
Pred. hasSubsetAnnot(Literal p)
boolean
Pred. hasSubsetAnnot(Literal p, Unifier u)
boolean
Literal. importAnnots(Literal p)
"import" annots from another predicate p.boolean
Pred. importAnnots(Literal p)
static boolean
ASSyntax. isKeyword(Literal l)
Plan
PlanLibrary. remove(Literal pLabel)
remove the plan with label pLabelboolean
PlanLibrary. remove(Literal pLabel, Term source)
Remove a plan represented by the label pLabel.void
Trigger. setLiteral(Literal literal)
Constructors in jason.asSyntax with parameters of type Literal Constructor Description Atom(Atom namespace, Literal l)
Atom(Literal l)
Atom(Literal l, Unifier u)
CyclicTerm(Literal t, VarTerm v)
creates a positive literalCyclicTerm(Literal t, VarTerm v, Unifier u)
LiteralImpl(boolean pos, Literal l)
if pos == true, the literal is positive, otherwise it is negativeLiteralImpl(Atom namespace, boolean pos, Literal l)
creates a literal based on another but in another name space and signalLiteralImpl(Literal l)
LiteralImpl(Literal l, Unifier u)
Pred(Atom namespace, Literal l)
Pred(Literal l)
Pred(Literal l, Unifier u)
Rule(Literal head, LogicalFormula body)
Structure(Atom namespace, Literal l)
Structure(Literal l)
Structure(Literal l, Unifier u)
Trigger(Trigger.TEOperator op, Trigger.TEType t, Literal l)
VarTerm(Atom namespace, Literal v)
-
Uses of Literal in jason.bb
Fields in jason.bb declared as Literal Modifier and Type Field Description private Literal
StructureWrapperForLiteral. l
(package private) Literal
DefaultBeliefBase.EntryIteratorWrapper. last
Fields in jason.bb with type parameters of type Literal Modifier and Type Field Description (package private) java.util.Iterator<Literal>
DefaultBeliefBase.EntryIteratorWrapper. il
private java.util.Deque<Literal>
DefaultBeliefBase.BelEntry. list
private java.util.Map<StructureWrapperForLiteral,Literal>
DefaultBeliefBase.BelEntry. map
protected java.util.Set<Literal>
DefaultBeliefBase. percepts
set of beliefs with percept annot, used to improve performance of bufMethods in jason.bb that return Literal Modifier and Type Method Description Literal
BeliefBase. contains(Literal l)
Returns the literal l as it is in BB, this method does not consider annotations in the search.Literal
ChainBBAdapter. contains(Literal l)
Literal
DefaultBeliefBase.BelEntry. contains(Literal l)
Literal
DefaultBeliefBase. contains(Literal l)
Literal
JDBCPersistentBB. contains(Literal l)
Literal
StructureWrapperForLiteral. getLiteral()
Literal
DefaultBeliefBase.EntryIteratorWrapper. next()
protected Literal
JDBCPersistentBB. resultSetToLiteral(java.sql.ResultSet rs, PredicateIndicator pi)
translates the current line of a result set into a LiteralMethods in jason.bb that return types with arguments of type Literal Modifier and Type Method Description java.util.Iterator<Literal>
BeliefBase. getCandidateBeliefs(Literal l, Unifier u)
Returns an iterator for all literals relevant for l's predicate indicator, if l is a var, returns all beliefs.
The unifier u may contain values for variables in l.abstract java.util.Iterator<Literal>
BeliefBase. getCandidateBeliefs(PredicateIndicator pi)
Returns an iterator for all literals in the default namespace of the BB that match the functor/arity of the parameter.java.util.Iterator<Literal>
ChainBBAdapter. getCandidateBeliefs(Literal l, Unifier u)
java.util.Iterator<Literal>
ChainBBAdapter. getCandidateBeliefs(PredicateIndicator pi)
java.util.Iterator<Literal>
DefaultBeliefBase. getCandidateBeliefs(Literal l, Unifier u)
java.util.Iterator<Literal>
DefaultBeliefBase. getCandidateBeliefs(PredicateIndicator pi)
java.util.Iterator<Literal>
JDBCPersistentBB. getCandidateBeliefs(Literal l, Unifier u)
private java.util.Set<Literal>
JDBCPersistentBB. getDBBPercepts()
java.util.Iterator<Literal>
BeliefBase. getPercepts()
Returns all beliefs that have "percept" as sourcejava.util.Iterator<Literal>
ChainBBAdapter. getPercepts()
java.util.Iterator<Literal>
DefaultBeliefBase. getPercepts()
(package private) java.util.Set<Literal>
DefaultBeliefBase. getPerceptsSet()
abstract java.util.Iterator<Literal>
BeliefBase. iterator()
Returns an iterator for all beliefs.java.util.Iterator<Literal>
ChainBBAdapter. iterator()
java.util.Iterator<Literal>
DefaultBeliefBase. iterator()
java.util.Iterator<Literal>
JDBCPersistentBB. iterator()
Methods in jason.bb with parameters of type Literal Modifier and Type Method Description boolean
BeliefBase. add(int index, Literal l)
Adds a belief in the BB at index position, returns true if succeedboolean
BeliefBase. add(Literal l)
Adds a belief in the end of the BB, returns true if succeed.boolean
ChainBBAdapter. add(int index, Literal l)
boolean
ChainBBAdapter. add(Literal l)
boolean
DefaultBeliefBase. add(int index, Literal l)
boolean
DefaultBeliefBase. add(Literal l)
protected boolean
DefaultBeliefBase. add(Literal l, boolean addInEnd)
void
DefaultBeliefBase.BelEntry. add(Literal l, boolean addInEnd)
boolean
IndexedBB. add(Literal bel)
boolean
JDBCPersistentBB. add(int index, Literal l)
boolean
JDBCPersistentBB. add(Literal l)
Literal
BeliefBase. contains(Literal l)
Returns the literal l as it is in BB, this method does not consider annotations in the search.Literal
ChainBBAdapter. contains(Literal l)
Literal
DefaultBeliefBase.BelEntry. contains(Literal l)
Literal
DefaultBeliefBase. contains(Literal l)
Literal
JDBCPersistentBB. contains(Literal l)
java.util.Iterator<Literal>
BeliefBase. getCandidateBeliefs(Literal l, Unifier u)
Returns an iterator for all literals relevant for l's predicate indicator, if l is a var, returns all beliefs.
The unifier u may contain values for variables in l.java.util.Iterator<Literal>
ChainBBAdapter. getCandidateBeliefs(Literal l, Unifier u)
java.util.Iterator<Literal>
DefaultBeliefBase. getCandidateBeliefs(Literal l, Unifier u)
java.util.Iterator<Literal>
JDBCPersistentBB. getCandidateBeliefs(Literal l, Unifier u)
protected java.lang.String
AgentJDBCPersistentBB. getInsert(Literal l)
protected java.lang.String
JDBCPersistentBB. getInsert(Literal l)
returns the SQL command to insert l into the DBprotected java.lang.String
JDBCPersistentBB. getSelect(Literal l)
returns the SQL command for a select that retrieves the literal l from the DBprotected java.lang.String
JDBCPersistentBB. getTableName(Literal l)
protected java.lang.String
AgentJDBCPersistentBB. getWhere(Literal l)
protected java.lang.String
JDBCPersistentBB. getWhere(Literal l)
returns the where clausule for a select for literal lprotected boolean
JDBCPersistentBB. isDB(Literal l)
returns true if the literal is stored in a DBprivate DefaultBeliefBase.BelEntry
DefaultBeliefBase. provideBelEntry(Literal l)
boolean
BeliefBase. remove(Literal l)
Removes a literal from BB, returns true if succeedboolean
ChainBBAdapter. remove(Literal l)
void
DefaultBeliefBase.BelEntry. remove(Literal l)
boolean
DefaultBeliefBase. remove(Literal l)
boolean
JDBCPersistentBB. remove(Literal l)
private boolean
DefaultBeliefBase. removeFromEntry(Literal l)
Constructors in jason.bb with parameters of type Literal Constructor Description StructureWrapperForLiteral(Literal l)
-
Uses of Literal in jason.environment
Fields in jason.environment with type parameters of type Literal Modifier and Type Field Description private java.util.Map<java.lang.String,java.util.List<Literal>>
Environment. agPercepts
private java.util.List<Literal>
Environment. percepts
Methods in jason.environment that return types with arguments of type Literal Modifier and Type Method Description java.util.List<Literal>
Environment. consultPercepts(java.lang.String agName)
Returns a copy of the perception for an agent.java.util.Collection<Literal>
Environment. getPercepts(java.lang.String agName)
Returns percepts for an agent.java.util.Collection<Literal>
TimeSteppedEnvironment. getPercepts(java.lang.String agName)
stops perception while executing the step's actionsMethods in jason.environment with parameters of type Literal Modifier and Type Method Description void
Environment. addPercept(Literal... perceptions)
Adds a perception for all agentsvoid
Environment. addPercept(java.lang.String agName, Literal... per)
Adds a perception for a specific agentboolean
Environment. containsPercept(Literal per)
Returns true if the list of common percepts contains the perception per.boolean
Environment. containsPercept(java.lang.String agName, Literal per)
boolean
Environment. removePercept(Literal per)
Removes a perception from the common perception listboolean
Environment. removePercept(java.lang.String agName, Literal per)
Removes a perception for an agentint
Environment. removePerceptsByUnif(Literal per)
Removes all percepts from the common perception list that unifies with per.int
Environment. removePerceptsByUnif(java.lang.String agName, Literal per)
Removes from an agent perception all percepts that unifies with per. -
Uses of Literal in jason.infra.jade
Methods in jason.infra.jade that return Literal Modifier and Type Method Description protected Literal
JasonBridgeArch. translateDFSubscribeToJason(jade.lang.acl.ACLMessage m)
Methods in jason.infra.jade that return types with arguments of type Literal Modifier and Type Method Description java.util.Collection<Literal>
JasonBridgeArch. perceive()
-
Uses of Literal in jason.infra.local
Methods in jason.infra.local that return types with arguments of type Literal Modifier and Type Method Description protected java.util.Collection<Literal>
BaseLocalMAS. getSubscribers()
java.util.Collection<Literal>
LocalAgArch. perceive()
-
Uses of Literal in jason.profiling
Methods in jason.profiling with parameters of type Literal Modifier and Type Method Description void
QueryProfiling. queryFinished(Literal l, long time)
void
QueryProfiling. queryStared(Literal l)
-
Uses of Literal in jason.stdlib
Fields in jason.stdlib declared as Literal Modifier and Type Field Description private Literal
wait.WaitEvent. pendingReason
Methods in jason.stdlib that return Literal Modifier and Type Method Description protected Literal
remove_plan. fixLabel(Term label)
Methods in jason.stdlib with parameters of type Literal Modifier and Type Method Description static java.util.Iterator<Unifier>
desire. allDesires(Circumstance C, Literal l, Term intID, Unifier un)
static java.util.Iterator<Unifier>
intend. allIntentions(Circumstance C, Literal l, Term intID, Unifier un, boolean considerSuspended)
returns all unifications for intentions with some goalvoid
succeed_goal. drop(TransitionSystem ts, Literal l, Unifier un)
void
drop_desire. dropEvt(Circumstance C, Literal l, Unifier un)
boolean
drop_future_intention. dropInt(Circumstance C, Literal goal, Unifier un)
boolean
drop_intention. dropInt(Circumstance C, Literal goal, Unifier un)
Drops an intention based on a goal argument returns true if the current intention is droppedvoid
puts. makeVarsAnnon(Literal l, Unifier un)
Term[]
eval. prepareArguments(Literal body, Unifier un)
Term[]
findall. prepareArguments(Literal body, Unifier un)
Term[]
foreach. prepareArguments(Literal body, Unifier un)
Term[]
fork. prepareArguments(Literal body, Unifier un)
Term[]
if_then_else. prepareArguments(Literal body, Unifier un)
Term[]
include. prepareArguments(Literal body, Unifier un)
Term[]
join. prepareArguments(Literal body, Unifier un)
Term[]
loop. prepareArguments(Literal body, Unifier un)
Term[]
rename_apart. prepareArguments(Literal body, Unifier un)
Term[]
setof. prepareArguments(Literal body, Unifier un)