Uses of Interface
jason.asSyntax.Term
Package | Description |
---|---|
jason | |
jason.asSemantics | |
jason.asSyntax | |
jason.bb | |
jason.functions | |
jason.infra.components | |
jason.infra.repl | |
jason.stdlib |
Internal actions of Jason.
|
jason.stdlib.map | |
jason.stdlib.queue | |
jason.stdlib.set |
-
Uses of Term in jason
Fields in jason declared as Term Modifier and Type Field Description private static Term
JasonException. defaultError
private Term
JasonException. error
static Term
ReceiverNotFoundException. RNF
static Term
JasonException. UNKNOW_ERROR
static Term
JasonException. WRONG_ARGS
Methods in jason with parameters of type Term Modifier and Type Method Description void
JasonException. addErrorAnnot(Term t)
static ListTerm
JasonException. createBasicErrorAnnots(Term id, java.lang.String msg)
Constructors in jason with parameters of type Term Constructor Description JasonException(java.lang.String msg, Term error)
Constructs an instance ofJasonException
with the specified detail message and error description term.JasonException(java.lang.String msg, Term error, java.lang.Exception cause)
-
Uses of Term in jason.asSemantics
Fields in jason.asSemantics declared as Term Modifier and Type Field Description private Term
Intention. suspendedReason
Fields in jason.asSemantics with type parameters of type Term Modifier and Type Field Description protected java.util.Map<VarTerm,Term>
Unifier. function
Methods in jason.asSemantics that return Term Modifier and Type Method Description Term
Unifier. get(VarTerm vtp)
gets the value for a Var, if it is unified with another var, gets this other's valueTerm
Unifier. get(java.lang.String var)
gets the value for a Var, if it is unified with another var, gets this other's valueTerm
IntendedMeans. getAsTerm()
Term
Unifier. getAsTerm()
Term
Intention. getSuspendedReason()
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 termTerm
Unifier. remove(VarTerm v)
Term
IntendedMeans. removeCurrentStep()
removes the current action of the IM and returns the term of the bodyMethods in jason.asSemantics that return types with arguments of type Term Modifier and Type Method Description private java.util.Map<VarTerm,Term>
Unifier. cloneFunction()
Methods in jason.asSemantics with parameters of type Term Modifier and Type Method Description void
Circumstance. addPendingEvent(java.lang.String id, Term reason, Event e)
void
Circumstance. addPendingIntention(java.lang.String id, Term reason, Intention i, boolean suspend)
boolean
Unifier. bind(VarTerm vt, Term vl)
protected void
DefaultInternalAction. checkArguments(Term[] args)
double
ArithFunction. evaluate(TransitionSystem ts, Term[] args)
evaluates/computes the function based on the argsdouble
DefaultArithFunction. evaluate(TransitionSystem ts, Term[] args)
java.lang.Object
ConcurrentInternalAction. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
DefaultInternalAction. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
InternalAction. execute(TransitionSystem ts, Unifier un, Term[] args)
Executes the internal action.boolean
TransitionSystem. generateGoalDeletion(Intention i, java.util.List<Term> failAnnots, Term reason)
generate a failure event for an intentionprivate boolean
TransitionSystem. generateGoalDeletionFromEvent(java.util.List<Term> failAnnots, Term reason)
private void
GoalListenerForMetaEvents. generateGoalStateEvent(Literal goal, Trigger.TEType type, GoalListener.GoalStates state, Term reason)
VarTerm
Unifier. getVarFromValue(Term vl)
default void
GoalListener. goalExecuting(Trigger goal, Term reason)
called when a suspended goal is executingvoid
GoalListenerForMetaEvents. goalExecuting(Trigger goal, Term reason)
default void
GoalListener. goalFailed(Trigger goal, Term reason)
method called when a goal is failedvoid
GoalListenerForMetaEvents. goalFailed(Trigger goal, Term reason)
default void
GoalListener. goalResumed(Trigger goal, Term reason)
called when a suspended goal is resumedvoid
GoalListenerForMetaEvents. goalResumed(Trigger goal, Term reason)
default void
GoalListener. goalSuspended(Trigger goal, Term reason)
method called when a goal is suspended (by internal action .suspend, for instance)void
GoalListenerForMetaEvents. goalSuspended(Trigger goal, Term reason)
default void
GoalListener. goalWaiting(Trigger goal, Term reason)
method called when a goal is waiting something (waiting action on the environment or due to internal actions like .waitd)void
GoalListenerForMetaEvents. goalWaiting(Trigger goal, Term reason)
default void
CircumstanceListener. intentionExecuting(Intention i, Term reason)
default void
CircumstanceListener. intentionResumed(Intention i, Term reason)
default void
CircumstanceListener. intentionSuspended(Trigger t, Intention i, Term reason)
default void
CircumstanceListener. intentionWaiting(Intention i, Term reason)
void
Circumstance. resumeIntention(Intention intention, Term reason)
add the intention back to I, and also notify meta listeners that the goals are resumedprivate void
TransitionSystem. resumeSyncAskIntention(java.lang.String msgId, Term answerVar, Term answerValue)
private static void
TransitionSystem. setDefaultFailureAnnots(Event failEvent, Term body, java.util.List<Term> failAnnots)
add default error annotations (error, error_msg, code, code_src, code_line) in the failure eventvoid
Intention. setSuspendedReason(Term r)
boolean
Unifier. unifies(Term t1, Term t2)
this version of unifies undo the variables' mapping if the unification fails.boolean
Unifier. unifiesNoUndo(Term t1g, Term t2g)
this version of unifies does not undo the variables' mapping in case of failure.protected boolean
Unifier. unifyTerms(Term t1g, Term t2g)
Method parameters in jason.asSemantics with type arguments of type Term Modifier and Type Method Description boolean
TransitionSystem. generateGoalDeletion(Intention i, java.util.List<Term> failAnnots, Term reason)
generate a failure event for an intentionprivate boolean
TransitionSystem. generateGoalDeletionFromEvent(java.util.List<Term> failAnnots, Term reason)
static void
ConcurrentInternalAction. resume(TransitionSystem ts, java.lang.String intentionKey, boolean abort, java.util.List<Term> failAnnots)
private static void
TransitionSystem. setDefaultFailureAnnots(Event failEvent, Term body, java.util.List<Term> failAnnots)
add default error annotations (error, error_msg, code, code_src, code_line) in the failure eventvoid
Unifier. setMap(java.util.Map<VarTerm,Term> newFunc)
changes the implementation of Var/Value mapping -- should be used carefully -
Uses of Term in jason.asSyntax
Subinterfaces of Term in jason.asSyntax Modifier and Type Interface Description interface
ListTerm
The interface for lists of the AgentSpeak languageinterface
LogicalFormula
Represents a logical formula (p, p & q, not p, 3 > X, ...) which can be evaluated into a truth value.interface
MapTerm
The interface for maps in the AgentSpeak languageinterface
NumberTerm
The interface for numeric terms of AgentSpeak languageinterface
ObjectTerm
Interface for terms that encapsulate java objectsinterface
PlanBody
Interface for elements of a plans's body.interface
SetTerm
The interface for sets in the AgentSpeak languageinterface
StringTerm
The interface for string terms of the AgentSpeak languageClasses in jason.asSyntax that implement Term 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
DefaultTerm
Base class for all terms.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,.))).class
Literal
This class represents an abstract literal (an Atom, Structure, Predicate, etc), it is mainly the interface of a literal.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
MapTermImpl
Represents a Jason map as a TreeMap in javaclass
NumberTermImpl
Immutable class that implements a term that represents a numberclass
ObjectTermImpl
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
SetTermImpl
Represents a Jason set as a TreeSet in javaclass
StringTermImpl
Immutable class for string terms.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 Term Modifier and Type Field Description protected static Term[]
Structure. emptyTermArray
private Term
ListTermImpl. next
private static Term
Plan. noLabelAtom
private static Term
Plan. TAllUnifs
private static Term
Plan. TAtomic
private static Term
Plan. TBreakPoint
private Term
ListTermImpl. term
private Term
PlanBodyImpl. term
Fields in jason.asSyntax with type parameters of type Term Modifier and Type Field Description protected static java.util.List<Term>
Structure. emptyTermList
private java.util.Map<Term,Term>
MapTermImpl. map
private java.util.Map<Term,Term>
MapTermImpl. map
private java.util.Set<Term>
SetTermImpl. set
private java.util.List<Term>
Structure. terms
Methods in jason.asSyntax that return Term Modifier and Type Method Description Term
ArithExpr. capply(Unifier u)
Term
ArithFunctionTerm. capply(Unifier u)
computes the value for this arithmetic function (as defined in the NumberTerm interface)Term
Atom. capply(Unifier u)
Term
CyclicTerm. capply(Unifier u)
Term
DefaultTerm. capply(Unifier u)
Term
InternalActionLiteral. capply(Unifier u)
Term
Literal.DefaultNameSpace. capply(Unifier u)
Term
Literal.FalseLiteral. capply(Unifier u)
Term
Literal.TrueLiteral. capply(Unifier u)
Term
LiteralImpl. capply(Unifier u)
Term
LogExpr. capply(Unifier u)
Term
Pred. capply(Unifier u)
Term
RelExpr. capply(Unifier u)
Term
Rule. capply(Unifier u)
Term
Structure. capply(Unifier u)
Term
Term. capply(Unifier u)
clone and applies together (and faster than clone and then apply)Term
VarTerm. capply(Unifier u)
Term
Atom. clone()
Term
CyclicTerm. clone()
abstract Term
DefaultTerm. clone()
Term
LiteralImpl. clone()
Term
Plan. clone()
Term
Pred. clone()
Term
Structure. clone()
make a deep copy of the termsTerm
Term. clone()
Term
UnnamedVar. clone()
Term
VarTerm. clone()
Term
DefaultTerm. cloneNS(Atom newnamespace)
Term
Term. cloneNS(Atom newnamespace)
clone in another namespaceTerm
ListTermImpl. get(int index)
Term
MapTerm. get(Term k)
Term
MapTermImpl. get(Term k)
Term
VarTerm. get(int index)
Term
PlanBody. getBodyTerm()
Term
PlanBodyImpl. getBodyTerm()
Term
BinaryStructure. getLHS()
gets the LHS of this operationTerm
BinaryStructure. getRHS()
gets the RHS of this operationTerm
ListTerm. getTerm()
Term
ListTermImpl. getTerm()
gets the term of this ListTermTerm
ListTermImpl. getTerm(int i)
Term
Literal. getTerm(int i)
returns the i-th term (first term is 0)Term
Plan. getTerm(int i)
Term
PlanBodyImpl. getTerm(int i)
Term
Structure. getTerm(int i)
Term
Trigger. getTerm(int i)
Term
VarTerm. getTerm()
Term
VarTerm. getTerm(int i)
Term[]
Literal. getTermsArray()
returns all terms of this literal as an arraystatic Term
DefaultTerm. parse(java.lang.String sTerm)
Deprecated.it is preferable to use ASSyntax.parseTermstatic Term
ASSyntax. parseTerm(java.lang.String sTerm)
creates a new term by parsing a stringTerm
ListTermImpl. remove(int index)
Term
MapTerm. remove(Term k)
Term
MapTermImpl. remove(Term k)
Term
VarTerm. remove(int index)
Term
PlanBody. removeBody(int index)
Term
PlanBodyImpl. removeBody(int index)
Term
ListTerm. removeLast()
Term
ListTermImpl. removeLast()
Term
VarTerm. removeLast()
Term
ListTermImpl. set(int index, Term t)
Term
VarTerm. set(int index, Term o)
Methods in jason.asSyntax that return types with arguments of type Term Modifier and Type Method Description java.util.List<Term>
ListTerm. getAsList()
java.util.List<Term>
ListTermImpl. getAsList()
Returns this ListTerm as a Java List (implemented by ArrayList).java.util.List<Term>
VarTerm. getAsList()
java.util.List<Term>
ListTermImpl. getTerms()
return the this ListTerm elements (0=Term, 1=ListTerm)java.util.List<Term>
Literal. getTerms()
returns all terms of this literaljava.util.List<Term>
PlanBodyImpl. getTerms()
java.util.List<Term>
Structure. getTerms()
java.util.List<Term>
VarTerm. getTerms()
java.util.Iterator<Term>
ListTermImpl. iterator()
returns an iterator where each element is a Term of this list, the tail of the list is not considered.java.util.Iterator<Term>
SetTermImpl. iterator()
java.util.Iterator<Term>
VarTerm. iterator()
java.util.Set<Term>
MapTerm. keys()
java.util.Set<Term>
MapTermImpl. keys()
java.util.ListIterator<Term>
ListTermImpl. listIterator()
java.util.ListIterator<Term>
ListTermImpl. listIterator(int startIndex)
java.util.ListIterator<Term>
VarTerm. listIterator()
java.util.ListIterator<Term>
VarTerm. listIterator(int index)
java.util.List<Term>
ListTermImpl. subList(int arg0, int arg1)
java.util.List<Term>
VarTerm. subList(int arg0, int arg1)
java.util.Iterator<java.util.List<Term>>
ListTerm. subSets(int k)
returns all subsets that take k elements of this listjava.util.Iterator<java.util.List<Term>>
ListTermImpl. subSets(int k)
returns all subsets that take k elements of this listjava.util.Iterator<java.util.List<Term>>
VarTerm. subSets(int k)
java.util.Collection<Term>
MapTerm. values()
java.util.Collection<Term>
MapTermImpl. values()
Methods in jason.asSyntax with parameters of type Term Modifier and Type Method Description void
ListTermImpl. add(int index, Term o)
boolean
ListTermImpl. add(Term o)
Plan
PlanLibrary. add(Plan p, Term source, boolean before)
Add a new plan in PL.Plan
PlanLibrary. add(StringTerm stPlan, Term tSource)
Deprecated.parse the plan before (ASSyntax methods) and call add(Plan, ...) methodsPlan
PlanLibrary. add(StringTerm stPlan, Term tSource, boolean before)
Deprecated.parse the plan before (ASSyntax methods) and call add(Plan, ...) methodsboolean
SetTermImpl. add(Term t)
void
VarTerm. add(int index, Term o)
boolean
VarTerm. add(Term o)
boolean
Literal. addAnnot(Term t)
boolean
Pred. addAnnot(Term t)
Literal
Literal. addAnnots(Term... terms)
adds some annots and return thisLiteral
Pred. addAnnots(Term... l)
Literal
Literal. addSource(Term agName)
adds the annotation source(agName)Literal
Pred. addSource(Term agName)
void
ListTermImpl. addTerm(Term t)
void
Literal. addTerm(Term t)
void
Structure. addTerm(Term t)
void
VarTerm. addTerm(Term t)
Literal
Literal. addTerms(Term... ts)
adds some terms and return thisLiteral
Structure. addTerms(Term... ts)
ListTerm
ListTerm. append(Term t)
ListTerm
ListTermImpl. append(Term t)
Adds a term in the end of the listListTerm
VarTerm. append(Term t)
int
ArithFunctionTerm. compareTo(Term o)
int
Atom. compareTo(Term t)
int
DefaultTerm. compareTo(Term t)
int
ListTermImpl. compareTo(Term o)
int
MapTermImpl. compareTo(Term o)
int
NumberTermImpl. compareTo(Term o)
int
SetTermImpl. compareTo(Term o)
int
StringTermImpl. compareTo(Term o)
int
UnnamedVar. compareTo(Term t)
int
VarTerm. compareTo(Term t)
static ListTerm
ASSyntax. createList(Term... terms)
Creates a new list with n elements, n can be 0static 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.static Pred
Pred. createSource(Term source)
static Structure
ASSyntax. createStructure(java.lang.String functor, Term... terms)
Creates a new structure (compound) term, the first argument is the functor (a string), and the n remainder arguments are terms.boolean
Literal. delAnnot(Term t)
boolean
Pred. delAnnot(Term t)
boolean
Literal. delSource(Term agName)
deletes one source(agName) annotation, return true if deletedboolean
Pred. delSource(Term agName)
Term
MapTerm. get(Term k)
Term
MapTermImpl. get(Term k)
boolean
Literal. hasAnnot(Term t)
returns true if there is some annotation t in the literalboolean
Pred. hasAnnot(Term t)
boolean
Literal. hasSource(Term agName)
returns true if this literal has a "source(agName)"boolean
Pred. hasSource(Term agName)
ListTerm
ListTerm. insert(Term t)
ListTerm
ListTermImpl. insert(Term t)
insert a term in the begin of this listListTerm
VarTerm. insert(Term t)
void
MapTerm. put(Term k, Term v)
void
MapTermImpl. put(Term k, Term v)
Term
MapTerm. remove(Term k)
Term
MapTermImpl. remove(Term k)
boolean
PlanLibrary. remove(Literal pLabel, Term source)
Remove a plan represented by the label pLabel.Term
ListTermImpl. set(int index, Term t)
Term
VarTerm. set(int index, Term o)
void
PlanBody. setBodyTerm(Term t)
void
PlanBodyImpl. setBodyTerm(Term t)
void
ListTerm. setNext(Term l)
void
ListTermImpl. setNext(Term l)
void
VarTerm. setNext(Term t)
void
ListTerm. setTerm(Term t)
void
ListTermImpl. setTerm(int i, Term t)
void
ListTermImpl. setTerm(Term t)
void
Literal. setTerm(int i, Term t)
void
Plan. setTerm(int i, Term t)
void
PlanBodyImpl. setTerm(int i, Term t)
void
Structure. setTerm(int i, Term t)
void
Trigger. setTerm(int i, Term t)
void
VarTerm. setTerm(int i, Term t)
void
VarTerm. setTerm(Term t)
boolean
DefaultTerm. subsumes(Term l)
boolean
Structure. subsumes(Term t)
boolean
Term. subsumes(Term l)
boolean
VarTerm. subsumes(Term t)
static java.lang.Object
ASSyntax. termToObject(Term t)
Convert a Jason term into a Java Objectstatic Trigger
Trigger. tryToGetTrigger(Term t)
try to convert the term t into a trigger, in case t is a trigger term, a string that can be parsed to a trigger, a var with value trigger, ....private void
Literal. useDerefVars(Term p, Unifier un)
VarTerm
Structure. varToReplace(Term t, Unifier un)
Method parameters in jason.asSyntax with type arguments of type Term Modifier and Type Method Description boolean
SetTermImpl. addAll(java.util.Collection<? extends Term> c)
Literal
Literal. addAnnots(java.util.List<Term> l)
adds some annots and return thisLiteral
Pred. addAnnots(java.util.List<Term> l)
Literal
Literal. addTerms(java.util.List<Term> l)
adds some terms and return thisLiteral
Structure. addTerms(java.util.List<Term> l)
Literal
VarTerm. addTerms(java.util.List<Term> l)
static ListTerm
ASSyntax. createList(java.util.Collection<Term> terms)
Creates a new list from a collection of terms (each element of the collection is cloned)boolean
Literal. delAnnots(java.util.List<Term> l)
removes all annots in this pred that are in the list l.boolean
Pred. delAnnots(java.util.List<Term> l)
void
SetTerm. difference(java.util.Collection<Term> lt)
void
SetTermImpl. difference(java.util.Collection<Term> lt)
void
SetTerm. intersection(java.util.Collection<Term> lt)
void
SetTermImpl. intersection(java.util.Collection<Term> lt)
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)
private ListTerm
ListTermImpl. setToList(java.util.Set<Term> set)
void
SetTerm. union(java.lang.Iterable<Term> lt)
void
SetTermImpl. union(java.lang.Iterable<Term> lt)
Constructors in jason.asSyntax with parameters of type Term Constructor Description BinaryStructure(Term t1, java.lang.String id, Term t2)
Constructor for binary operatorBinaryStructure(java.lang.String id, Term arg)
Constructor for unary operatorBodyLiteral(BodyLiteral.BodyType t, Term b)
Deprecated.ListTermImpl(Term t, Term n)
PlanBodyImpl(PlanBody.BodyType t, Term b)
PlanBodyImpl(PlanBody.BodyType t, Term b, boolean planTerm)
RelExpr(Term t1, RelExpr.RelationalOp oper, Term t2)
-
Uses of Term in jason.bb
Fields in jason.bb declared as Term Modifier and Type Field Description static Term
BeliefBase. APercept
static Term
BeliefBase. ASelf
static Term
BeliefBase. TPercept
represents the structure 'source(percept)'static Term
BeliefBase. TSelf
represents the structure 'source(self)'Methods in jason.bb with parameters of type Term Modifier and Type Method Description static java.sql.Timestamp
JDBCPersistentBB. structure2timestamp(Term timestamp)
translates structure like "timestamp(Y,M,D,H,M,S)" into a SQL timestamp -
Uses of Term in jason.functions
Methods in jason.functions with parameters of type Term Modifier and Type Method Description double
Abs. evaluate(TransitionSystem ts, Term[] args)
double
acos. evaluate(TransitionSystem ts, Term[] args)
double
asin. evaluate(TransitionSystem ts, Term[] args)
double
atan. evaluate(TransitionSystem ts, Term[] args)
double
Average. evaluate(TransitionSystem ts, Term[] args)
Deprecated.double
ceil. evaluate(TransitionSystem ts, Term[] args)
double
cos. evaluate(TransitionSystem ts, Term[] args)
double
Count. evaluate(TransitionSystem ts, Term[] args)
double
e. evaluate(TransitionSystem ts, Term[] args)
double
floor. evaluate(TransitionSystem ts, Term[] args)
double
Length. evaluate(TransitionSystem ts, Term[] args)
double
log. evaluate(TransitionSystem ts, Term[] args)
double
Max. evaluate(TransitionSystem ts, Term[] args)
double
mean. evaluate(TransitionSystem ts, Term[] args)
double
median. evaluate(TransitionSystem ts, Term[] args)
double
Min. evaluate(TransitionSystem ts, Term[] args)
double
pi. evaluate(TransitionSystem ts, Term[] args)
double
Random. evaluate(TransitionSystem ts, Term[] args)
double
Round. evaluate(TransitionSystem ts, Term[] args)
double
RuleToFunction. evaluate(TransitionSystem ts, Term[] args)
double
sin. evaluate(TransitionSystem ts, Term[] args)
double
Sqrt. evaluate(TransitionSystem ts, Term[] args)
double
StdDev. evaluate(TransitionSystem ts, Term[] args)
double
Sum. evaluate(TransitionSystem ts, Term[] args)
double
tan. evaluate(TransitionSystem ts, Term[] args)
double
time. evaluate(TransitionSystem ts, Term[] args)
-
Uses of Term in jason.infra.components
Methods in jason.infra.components with parameters of type Term Modifier and Type Method Description void
CircumstanceListenerComponents. intentionExecuting(Intention i, Term reason)
void
CircumstanceListenerComponents. intentionResumed(Intention i, Term reason)
void
CircumstanceListenerComponents. intentionSuspended(Trigger t, Intention i, Term reason)
void
CircumstanceListenerComponents. intentionWaiting(Intention i, Term reason)
-
Uses of Term in jason.infra.repl
Methods in jason.infra.repl with parameters of type Term Modifier and Type Method Description java.lang.Object
clear. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
mi. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
print_unifier. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
verbose. execute(TransitionSystem ts, Unifier un, Term[] args)
-
Uses of Term in jason.stdlib
Fields in jason.stdlib declared as Term Modifier and Type Field Description private static Term
suspended. aAct
private Term
wait.WaitEvent. elapsedTimeTerm
private static Term
resume. resumeReason
private static Term
succeed_goal. resumeReason
Methods in jason.stdlib that return Term Modifier and Type Method Description protected Term
add_annot. addAnnotToList(Unifier unif, Term l, Term annot)
static Term
add_nested_source. addAnnotToList(Term l, Term source)
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)
(package private) Term
remove_source_annot. processTerm(Term in)
Methods in jason.stdlib with parameters of type Term Modifier and Type Method Description protected Term
add_annot. addAnnotToList(Unifier unif, Term l, Term annot)
static Term
add_nested_source. addAnnotToList(Term l, Term source)
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 goalprotected java.lang.String
println. argsToString(Term[] args)
protected void
abolish. checkArguments(Term[] args)
protected void
asserta. checkArguments(Term[] args)
protected void
assertz. checkArguments(Term[] args)
protected void
broadcast. checkArguments(Term[] args)
protected void
copy_term. checkArguments(Term[] args)
protected void
count. checkArguments(Term[] args)
protected void
create_agent. checkArguments(Term[] args)
protected void
difference. checkArguments(Term[] args)
protected void
done. checkArguments(Term[] args)
protected void
drop_future_intention. checkArguments(Term[] args)
protected void
drop_intention. checkArguments(Term[] args)
protected void
eval. checkArguments(Term[] args)
protected void
findall. checkArguments(Term[] args)
protected void
foreach. checkArguments(Term[] args)
protected void
fork. checkArguments(Term[] args)
protected void
if_then_else. checkArguments(Term[] args)
protected void
include. checkArguments(Term[] args)
protected void
intend. checkArguments(Term[] args)
protected void
join. checkArguments(Term[] args)
protected void
list_files. checkArguments(Term[] args)
protected void
log. checkArguments(Term[] args)
protected void
loop. checkArguments(Term[] args)
protected void
member. checkArguments(Term[] args)
protected void
min. checkArguments(Term[] args)
protected void
namespace. checkArguments(Term[] args)
protected void
nano_time. checkArguments(Term[] args)
protected void
nth. checkArguments(Term[] args)
protected void
prefix. checkArguments(Term[] args)
protected void
printf. checkArguments(Term[] args)
protected void
puts. checkArguments(Term[] args)
protected void
random. checkArguments(Term[] args)
protected void
range. checkArguments(Term[] args)
protected void
resume. checkArguments(Term[] args)
protected void
send. checkArguments(Term[] args)
protected void
setof. checkArguments(Term[] args)
protected void
shuffle. checkArguments(Term[] args)
protected void
sort. checkArguments(Term[] args)
protected void
sublist. checkArguments(Term[] args)
protected void
succeed_goal. checkArguments(Term[] args)
protected void
suffix. checkArguments(Term[] args)
protected void
suspend. checkArguments(Term[] args)
protected void
suspended. checkArguments(Term[] args)
protected boolean
max. compare(Term a, Term t)
protected boolean
min. compare(Term a, Term t)
private void
send. delegateSendToArch(Term to, TransitionSystem ts, Message m)
(package private) ListTerm
delete. deleteFromList(Term element, ListTerm l, Unifier un)
java.lang.Object
abolish. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
add_annot. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
add_nested_source. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
add_plan. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
all_names. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
asserta. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
assertz. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
at. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
atom. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
belief. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
broadcast. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
clone. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
concat. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
copy_term. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
count. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
create_agent. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
current_intention. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
date. execute(TransitionSystem ts, Unifier un, Term[] args)
date(YY,MM,DD)java.lang.Object
delete. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
desire. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
df_deregister. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
df_register. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
df_search. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
df_subscribe. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
difference. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
done. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
drop_all_desires. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
drop_all_events. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
drop_all_intentions. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
drop_desire. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
drop_event. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
drop_intention. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
empty. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
eval. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
fail_goal. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
fail. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
findall. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
foreach. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
fork. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
get_src_info. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
ground. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
if_then_else. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
include. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
intend. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
intention. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
internal_action. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
intersection. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
join. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
kill_agent. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
length. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
list_files. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
list_plans. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
list_rules. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
list. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
literal. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
log. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
loop. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
lower_case. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
member. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
min. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
my_name. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
namespace. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
nano_time. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
nth. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
number. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
perceive. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
plan_label. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
prefix. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
printf. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
println. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
puts. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
random. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
range. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
relevant_plan. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
relevant_plans. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
relevant_rules. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
remove_plan. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
remove_source_annot. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
rename_apart. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
replace. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
resume. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
reverse. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
save_agent. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
send. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
set_random_seed. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
setof. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
shuffle. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
signal. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
sort. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
stopMAS. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
string. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
structure. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
sublist. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
substring. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
succeed_goal. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
suffix. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
suspend. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
suspended. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
term2string. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
time. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
type. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
union. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
upper_case. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
verbose. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
version. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
wait. execute(TransitionSystem ts, Unifier un, Term[] args)
protected Literal
remove_plan. fixLabel(Term label)
protected java.util.List<java.lang.String>
create_agent. getAgArchClasses(Term[] args)
protected java.lang.String
list_files. getFolder(Term[] args)
protected java.lang.String
create_agent. getName(Term[] args)
protected java.lang.String
list_files. getPattern(Term[] args)
(package private) java.lang.String
concat. getPlainValue(Term t)
protected java.lang.String
df_register. getService(Term[] args)
static NumberTerm
length. getSize(Term arg)
protected java.lang.String
create_agent. getSource(Term[] args)
protected java.lang.String
df_register. getType(Term[] args)
void
wait.WaitEvent. intentionExecuting(Intention i, Term reason)
void
wait.WaitEvent. intentionResumed(Intention i, Term reason)
void
wait.WaitEvent. intentionSuspended(Trigger t, Intention i, Term reason)
void
wait.WaitEvent. intentionWaiting(Intention i, Term reason)
(package private) Term
remove_source_annot. processTerm(Term in)
private Structure
create_agent. testString(Term t)
private Plan
add_plan. transform2plan(Term t)
Method parameters in jason.stdlib with type arguments of type Term Modifier and Type Method Description (package private) void
list_files. listFiles(java.lang.String pattern, java.io.File folder, java.util.List<Term> fileList)
private ListTerm
setof. setToList(java.util.Set<Term> set)
Constructors in jason.stdlib with parameters of type Term Constructor Description WaitEvent(Trigger te, LogicalFormula f, Unifier un, TransitionSystem ts, long timeout, Term elapsedTimeTerm)
-
Uses of Term in jason.stdlib.map
Methods in jason.stdlib.map with parameters of type Term Modifier and Type Method Description java.lang.Object
clear. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
copy. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
create. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
get. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
key. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
put. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
remove. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
value. execute(TransitionSystem ts, Unifier un, Term[] args)
protected java.util.Iterator<Unifier>
key. getIterator(Term arg, java.util.Iterator<Term> i, Unifier un)
protected MapTerm
put. getMap(Unifier un, Term[] args)
Method parameters in jason.stdlib.map with type arguments of type Term Modifier and Type Method Description protected java.util.Iterator<Unifier>
key. getIterator(Term arg, java.util.Iterator<Term> i, Unifier un)
-
Uses of Term in jason.stdlib.queue
Methods in jason.stdlib.queue that return types with arguments of type Term Modifier and Type Method Description protected java.util.Queue<Term>
create. getQueue(Unifier un, Term[] args)
Methods in jason.stdlib.queue with parameters of type Term Modifier and Type Method Description protected boolean
create. createQueue(Unifier un, Term[] args)
java.lang.Object
add_all. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
add. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
clear. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
copy. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
create. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
head. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
remove. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
to_list. execute(TransitionSystem ts, Unifier un, Term[] args)
protected java.util.Queue<Term>
create. getQueue(Unifier un, Term[] args)
-
Uses of Term in jason.stdlib.set
Methods in jason.stdlib.set with parameters of type Term Modifier and Type Method Description java.lang.Object
add_all. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
add. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
clear. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
copy. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
create. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
difference. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
intersection. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
remove. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
to_list. execute(TransitionSystem ts, Unifier un, Term[] args)
java.lang.Object
union. execute(TransitionSystem ts, Unifier un, Term[] args)
protected SetTerm
add. getSet(Unifier un, Term[] args)