Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax | |
jason.bb | |
jason.infra.repl | |
jason.stdlib |
Provides all default internal actions of Jason.
|
Modifier and Type | Field and Description |
---|---|
protected Unifier |
IntendedMeans.renamedVars |
protected Unifier |
IntendedMeans.unif |
Modifier and Type | Method and Description |
---|---|
Unifier |
Unifier.clone() |
Unifier |
IntendedMeans.getUnif() |
Unifier |
Option.getUnifier() |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Unifier> |
QueryCacheSimple.getCache(Literal f) |
Pair<Literal,java.util.Iterator<Unifier>> |
QueryCacheAdv.getCache(Literal f) |
Modifier and Type | Method and 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 u
|
boolean |
Intention.dropGoal(Trigger te,
Unifier un)
remove all IMs until the IM with trigger te
|
java.lang.Object |
InternalAction.execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
java.lang.Object |
DefaultInternalAction.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
ConcurrentInternalAction.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
Literal |
Agent.findBel(Literal bel,
Unifier un)
Find a literal in BB using unification to test.
|
IntendedMeans |
Intention.getIM(Trigger g,
Unifier u)
returns the IntendedMeans with TE = g, returns null if there isn't one
|
boolean |
Intention.hasTrigger(Trigger g,
Unifier u)
returns true if the intention has an IM where TE = g, using u to verify equality
|
Term[] |
InternalAction.prepareArguments(Literal body,
Unifier un)
Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each term
|
Term[] |
DefaultInternalAction.prepareArguments(Literal body,
Unifier un) |
Term[] |
ConcurrentInternalAction.prepareArguments(Literal body,
Unifier un) |
void |
IntendedMeans.setUnif(Unifier unif) |
void |
Option.setUnifier(Unifier u) |
Modifier and Type | Method and Description |
---|---|
void |
QueryCacheSimple.queryFinished(Literal f,
java.util.List<Unifier> r) |
Constructor and Description |
---|
Option(Plan p,
Unifier u) |
Modifier and Type | Field and Description |
---|---|
static java.util.List<Unifier> |
LogExpr.EMPTY_UNIF_LIST |
Modifier and Type | Method and Description |
---|---|
Unifier |
Plan.isRelevant(Trigger te)
returns an unifier if this plan is relevant for the event te,
returns null otherwise.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Iterator<Unifier> |
LogExpr.createUnifIterator(Unifier... unifs)
creates an iterator for a list of unifiers
|
java.util.Iterator<Unifier> |
VarTerm.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
RelExpr.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
PlanBodyImpl.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> |
LogExpr.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> |
ListTermImpl.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
InternalActionLiteral.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
ArithFunctionTerm.logicalConsequence(Agent ag,
Unifier un) |
Modifier and Type | Method and Description |
---|---|
Term |
VarTerm.capply(Unifier u) |
Trigger |
Trigger.capply(Unifier u) |
Term |
Term.capply(Unifier u)
clone and applies together (and faster than clone and then apply)
|
Term |
Structure.capply(Unifier u) |
Term |
Rule.capply(Unifier u) |
Term |
RelExpr.capply(Unifier u) |
Term |
Pred.capply(Unifier u) |
PlanBody |
PlanBodyImpl.capply(Unifier u) |
Plan |
Plan.capply(Unifier u) |
Term |
LogExpr.capply(Unifier u) |
Term |
LiteralImpl.capply(Unifier u) |
ListTerm |
ListTermImpl.capply(Unifier u)
make a hard copy of the terms
|
Term |
InternalActionLiteral.capply(Unifier u) |
Term |
DefaultTerm.capply(Unifier u) |
Term |
CyclicTerm.capply(Unifier u) |
Term |
ArithFunctionTerm.capply(Unifier u)
computes the value for this arithmetic function (as defined in the NumberTerm interface)
|
Term |
ArithExpr.capply(Unifier u) |
static java.util.Iterator<Unifier> |
LogExpr.createUnifIterator(Unifier... unifs)
creates an iterator for a list of unifiers
|
boolean |
Pred.hasSubsetAnnot(Literal p,
Unifier u) |
boolean |
Literal.hasSubsetAnnot(Literal p,
Unifier u)
Returns true if all this predicate's annots are in p's annots using the
unifier u.
|
boolean |
VarTerm.hasVar(VarTerm t,
Unifier u) |
boolean |
Term.hasVar(VarTerm t,
Unifier u) |
boolean |
Structure.hasVar(VarTerm t,
Unifier u) |
boolean |
Rule.hasVar(VarTerm t,
Unifier u) |
boolean |
Pred.hasVar(VarTerm t,
Unifier u) |
boolean |
DefaultTerm.hasVar(VarTerm t,
Unifier u) |
Literal |
Rule.headCApply(Unifier u) |
java.util.Iterator<Unifier> |
VarTerm.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
RelExpr.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
PlanBodyImpl.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> |
LogExpr.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> |
ListTermImpl.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
InternalActionLiteral.logicalConsequence(Agent ag,
Unifier un) |
java.util.Iterator<Unifier> |
ArithFunctionTerm.logicalConsequence(Agent ag,
Unifier un) |
Literal |
Structure.makeVarsAnnon(Unifier un) |
Literal |
Rule.makeVarsAnnon(Unifier un) |
Literal |
Pred.makeVarsAnnon(Unifier un) |
Literal |
Literal.makeVarsAnnon(Unifier un)
replaces all variables of the term for unnamed variables (_).
|
Literal |
InternalActionLiteral.makeVarsAnnon(Unifier un) |
Literal |
CyclicTerm.makeVarsAnnon(Unifier u) |
VarTerm |
Structure.varToReplace(Term t,
Unifier un) |
Constructor and Description |
---|
CyclicTerm(Literal t,
VarTerm v,
Unifier u) |
LiteralImpl(Literal l,
Unifier u) |
Pred(Literal l,
Unifier u) |
Rule(Rule r,
Unifier u) |
Structure(Literal l,
Unifier u) |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Literal> |
JDBCPersistentBB.getCandidateBeliefs(Literal l,
Unifier u) |
java.util.Iterator<Literal> |
DefaultBeliefBase.getCandidateBeliefs(Literal l,
Unifier u) |
java.util.Iterator<Literal> |
ChainBBAdapter.getCandidateBeliefs(Literal l,
Unifier u) |
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. |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
verbose.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
print_unifier.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
mi.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
clear.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
Modifier and Type | Method and Description |
---|---|
static java.util.Iterator<Unifier> |
desire.allDesires(Circumstance C,
Literal l,
Unifier un) |
static java.util.Iterator<Unifier> |
intend.allIntentions(Circumstance C,
Literal l,
Unifier un) |
Modifier and Type | Method and Description |
---|---|
protected Term |
add_annot.addAnnotToList(Unifier unif,
Term l,
Term annot) |
static java.util.Iterator<Unifier> |
desire.allDesires(Circumstance C,
Literal l,
Unifier un) |
static java.util.Iterator<Unifier> |
intend.allIntentions(Circumstance C,
Literal l,
Unifier un) |
void |
succeed_goal.drop(TransitionSystem ts,
Literal l,
Unifier un) |
void |
drop_desire.dropEvt(Circumstance C,
Literal l,
Unifier un) |
static void |
drop_intention.dropInt(Circumstance C,
Literal l,
Unifier un) |
int |
succeed_goal.dropIntention(Intention i,
Trigger g,
TransitionSystem ts,
Unifier un) |
int |
fail_goal.dropIntention(Intention i,
Trigger g,
TransitionSystem ts,
Unifier un) |
java.lang.Object |
wait.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
union.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
time.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
term2string.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
suspended.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
suspend.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
suffix.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
succeed_goal.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
substring.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
sublist.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
structure.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
string.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
stopMAS.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
sort.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
shuffle.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
setof.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
send.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
reverse.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
resume.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
remove_plan.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
relevant_plans.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
range.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
random.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
puts.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
println.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
prefix.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
plan_label.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
perceive.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
number.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
nth.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
my_name.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
min.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
member.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
loop.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
literal.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
list_plans.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
list.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
length.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
kill_agent.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
intersection.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
intend.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
if_then_else.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
ground.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
foreach.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
findall.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 |
eval.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
empty.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
drop_intention.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
drop_event.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
drop_desire.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
drop_all_intentions.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_desires.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
difference.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
desire.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
delete.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 |
current_intention.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
create_agent.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
count.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
copy_term.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
concat.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
clone.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
broadcast.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
atom.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
at.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
all_names.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
add_plan.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
add_nested_source.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
add_annot.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
java.lang.Object |
abolish.execute(TransitionSystem ts,
Unifier un,
Term[] args) |
void |
puts.makeVarsAnnon(Literal l,
Unifier un) |
Term[] |
setof.prepareArguments(Literal body,
Unifier un) |
Term[] |
loop.prepareArguments(Literal body,
Unifier un) |
Term[] |
if_then_else.prepareArguments(Literal body,
Unifier un) |
Term[] |
foreach.prepareArguments(Literal body,
Unifier un) |
Term[] |
findall.prepareArguments(Literal body,
Unifier un) |
Term[] |
eval.prepareArguments(Literal body,
Unifier un) |