Uses of Class
jason.asSemantics.Unifier
Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax | |
jason.bb | |
jason.infra.repl | |
jason.stdlib |
Internal actions of Jason.
|
jason.stdlib.map | |
jason.stdlib.queue | |
jason.stdlib.set |
-
Uses of Unifier in jason.asSemantics
Fields in jason.asSemantics declared as Unifier Modifier and Type Field Description protected Unifier
IntendedMeans. renamedVars
protected Unifier
IntendedMeans. triggerUnif
protected Unifier
IntendedMeans. unif
private Unifier
Option. unif
Fields in jason.asSemantics with type parameters of type Unifier 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.Map<PredicateIndicator,java.util.List<Pair<Literal,java.util.List<Unifier>>>>
QueryCacheAdv. tmp
Methods in jason.asSemantics that return Unifier Modifier and Type Method Description Unifier
Unifier. clone()
Unifier
IntendedMeans. getUnif()
Unifier
Option. getUnifier()
Methods in jason.asSemantics that return types with arguments of type Unifier Modifier and Type Method Description Pair<Literal,java.util.Iterator<Unifier>>
QueryCacheAdv. getCache(Literal f)
java.util.Iterator<Unifier>
QueryCacheSimple. getCache(Literal f)
Methods in jason.asSemantics with parameters of type Unifier Modifier and Type Method Description void
Agent. abolish(Literal bel, Unifier un)
Removes all occurrences of bel in BB.void
QueryCacheAdv. addAnswer(Literal f, Unifier a)
boolean
Agent. believes(LogicalFormula bel, Unifier un)
Returns true if BB contains the literal bel (using unification to test).void
Unifier. compose(Unifier u)
add all unifications from uIntendedMeans
Intention. dropGoal(IMCondition c, Unifier u)
remove all IMs until the lowest IM that succeeds in test cjava.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.Literal
Agent. findBel(Literal bel, Unifier un)
Find a literal in BB using unification to test.IntendedMeans
Intention. getIM(IMCondition c, Unifier u)
returns the IntendedMeans that succeeds in test c, returns null if there isn't oneprivate Option
TransitionSystem. getOption(Event evt, Plan pl, Unifier relUn)
boolean
Intention. hasTrigger(Trigger g, Unifier u)
returns true if the intention has an IM where TE = g, using u to verify equalityprivate void
TransitionSystem. joinRenamedVarsIntoIntentionUnifier(IntendedMeans im, Unifier values)
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
Circumstance. removeEvents(Trigger te, Unifier un)
void
Circumstance. removePendingEvents(Trigger te, Unifier un)
void
IntendedMeans. setUnif(Unifier unif)
void
Option. setUnifier(Unifier u)
boolean
IMCondition. test(IntendedMeans im, Unifier u)
abstract boolean
IMCondition. test(Trigger t, Unifier u)
Method parameters in jason.asSemantics with type arguments of type Unifier Modifier and Type Method Description void
QueryCacheSimple. queryFinished(Literal f, java.util.List<Unifier> r)
Constructors in jason.asSemantics with parameters of type Unifier Constructor Description Option(Plan p, Unifier u)
-
Uses of Unifier in jason.asSyntax
Fields in jason.asSyntax with type parameters of type Unifier Modifier and Type Field Description static java.util.List<Unifier>
LogExpr. EMPTY_UNIF_LIST
Methods in jason.asSyntax that return Unifier Modifier and Type Method Description Unifier
Plan. isRelevant(Trigger te, Unifier u)
returns an unifier if this plan is relevant for the event te, returns null otherwise.Methods in jason.asSyntax that return types with arguments of type Unifier Modifier and Type Method Description static java.util.Iterator<Unifier>
LogExpr. createUnifIterator(Unifier... unifs)
creates an iterator for a list of unifiersjava.util.Iterator<Unifier>
ArithFunctionTerm. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
InternalActionLiteral. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
ListTermImpl. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
Literal.FalseLiteral. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
Literal. logicalConsequence(Agent ag, Unifier un)
logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.java.util.Iterator<Unifier>
Literal.TrueLiteral. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
LogExpr. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
LogicalFormula. logicalConsequence(Agent ag, Unifier un)
Checks whether the formula is a logical consequence of the belief base.java.util.Iterator<Unifier>
PlanBodyImpl. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
RelExpr. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
VarTerm. logicalConsequence(Agent ag, Unifier un)
Methods in jason.asSyntax with parameters of type Unifier 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)
ListTerm
ListTermImpl. capply(Unifier u)
make a hard copy of the termsTerm
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)
MapTerm
MapTermImpl. capply(Unifier u)
Plan
Plan. capply(Unifier u)
PlanBody
PlanBodyImpl. capply(Unifier u)
Term
Pred. capply(Unifier u)
Term
RelExpr. capply(Unifier u)
Term
Rule. capply(Unifier u)
SetTerm
SetTermImpl. capply(Unifier u)
Term
Structure. capply(Unifier u)
Term
Term. capply(Unifier u)
clone and applies together (and faster than clone and then apply)Trigger
Trigger. capply(Unifier u)
Term
VarTerm. capply(Unifier u)
ListTerm
Pred. capplyAnnots(Unifier u)
static java.util.Iterator<Unifier>
LogExpr. createUnifIterator(Unifier... unifs)
creates an iterator for a list of unifiersboolean
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, Unifier u)
boolean
DefaultTerm. hasVar(VarTerm t, Unifier u)
boolean
Pred. hasVar(VarTerm t, Unifier u)
boolean
Rule. hasVar(VarTerm t, Unifier u)
boolean
Structure. hasVar(VarTerm t, Unifier u)
boolean
Term. hasVar(VarTerm t, Unifier u)
boolean
VarTerm. hasVar(VarTerm t, Unifier u)
Literal
Rule. headCApply(Unifier u)
Unifier
Plan. isRelevant(Trigger te, Unifier u)
returns an unifier if this plan is relevant for the event te, returns null otherwise.java.util.Iterator<Unifier>
ArithFunctionTerm. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
InternalActionLiteral. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
ListTermImpl. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
Literal.FalseLiteral. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
Literal. logicalConsequence(Agent ag, Unifier un)
logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.java.util.Iterator<Unifier>
Literal.TrueLiteral. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
LogExpr. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
LogicalFormula. logicalConsequence(Agent ag, Unifier un)
Checks whether the formula is a logical consequence of the belief base.java.util.Iterator<Unifier>
PlanBodyImpl. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
RelExpr. logicalConsequence(Agent ag, Unifier un)
java.util.Iterator<Unifier>
VarTerm. logicalConsequence(Agent ag, Unifier un)
Literal
CyclicTerm. makeVarsAnnon(Unifier u)
Literal
InternalActionLiteral. makeVarsAnnon(Unifier un)
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(Unifier un)
private void
Literal. useDerefVars(Term p, Unifier un)
VarTerm
Structure. varToReplace(Term t, Unifier un)
Constructors in jason.asSyntax with parameters of type Unifier Constructor Description Atom(Literal l, Unifier u)
CyclicTerm(Literal t, VarTerm v, Unifier u)
InternalActionLiteral(InternalActionLiteral l, Unifier u)
LiteralImpl(Literal l, Unifier u)
Pred(Literal l, Unifier u)
Rule(Rule r, Unifier u)
Structure(Literal l, Unifier u)
-
Uses of Unifier in jason.bb
Fields in jason.bb declared as Unifier Modifier and Type Field Description (package private) Unifier
IndexedBB. u
Methods in jason.bb with parameters of type Unifier 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.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)
-
Uses of Unifier in jason.infra.repl
Methods in jason.infra.repl with parameters of type Unifier 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 Unifier in jason.stdlib
Fields in jason.stdlib declared as Unifier Modifier and Type Field Description private Unifier
wait.WaitEvent. un
Methods in jason.stdlib that return types with arguments of type Unifier 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 goalMethods in jason.stdlib with parameters of type Unifier Modifier and Type Method Description protected Term
add_annot. addAnnotToList(Unifier unif, Term l, Term annot)
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 goal(package private) ListTerm
delete. deleteFromList(Term element, ListTerm l, Unifier un)
void
done. drop(TransitionSystem ts, IMCondition c, Unifier un)
void
succeed_goal. drop(TransitionSystem ts, IMCondition c, Unifier un)
void
succeed_goal. drop(TransitionSystem ts, Literal l, Unifier un)
void
drop_desire. dropEvt(Circumstance C, Literal l, Unifier un)
IntendedMeans
fork.ForkIntention. dropGoal(IMCondition c, 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 droppedint
fail_goal. dropIntention(Intention i, IMCondition c, TransitionSystem ts, Unifier un)
int
succeed_goal. dropIntention(Intention i, IMCondition c, TransitionSystem ts, 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)
void
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)
Constructors in jason.stdlib with parameters of type Unifier Constructor Description WaitEvent(Trigger te, LogicalFormula f, Unifier un, TransitionSystem ts, long timeout, Term elapsedTimeTerm)
-
Uses of Unifier in jason.stdlib.map
Methods in jason.stdlib.map that return types with arguments of type Unifier Modifier and Type Method Description protected java.util.Iterator<Unifier>
key. getIterator(Term arg, java.util.Iterator<Term> i, Unifier un)
Methods in jason.stdlib.map with parameters of type Unifier 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)
-
Uses of Unifier in jason.stdlib.queue
Methods in jason.stdlib.queue with parameters of type Unifier 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 Unifier in jason.stdlib.set
Methods in jason.stdlib.set with parameters of type Unifier 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)