Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax | |
jason.stdlib |
Provides all default internal actions of Jason.
|
Modifier and Type | Method and Description |
---|---|
Trigger |
IntendedMeans.getTrigger()
gets the trigger event that caused the creation of this IM
|
Trigger |
Event.getTrigger() |
Modifier and Type | Method and Description |
---|---|
void |
Circumstance.addExternalEv(Trigger trig) |
boolean |
Intention.dropGoal(Trigger te,
Unifier un)
remove all IMs until the IM with trigger te
|
Event |
TransitionSystem.findEventForFailure(Intention i,
Trigger tevent) |
IntendedMeans |
Intention.getIM(Trigger g,
Unifier u)
returns the IntendedMeans with TE = g, returns null if there isn't one
|
void |
GoalListenerForMetaEvents.goalFailed(Trigger goal) |
void |
GoalListener.goalFailed(Trigger goal)
method called when a goal is failed
|
void |
GoalListenerForMetaEvents.goalFinished(Trigger goal) |
void |
GoalListener.goalFinished(Trigger goal)
method called when a goal is successfully finished
|
void |
GoalListenerForMetaEvents.goalResumed(Trigger goal) |
void |
GoalListener.goalResumed(Trigger goal)
called when a suspended goal is resumed
|
void |
GoalListenerForMetaEvents.goalSuspended(Trigger goal,
java.lang.String reason) |
void |
GoalListener.goalSuspended(Trigger goal,
java.lang.String reason)
method called when a goal is suspended (waiting action on the environment or due to internal actions like .wait and .suspend)
|
boolean |
Intention.hasTrigger(Trigger g,
Unifier u)
returns true if the intention has an IM where TE = g, using u to verify equality
|
java.util.List<Option> |
TransitionSystem.relevantPlans(Trigger teP) |
void |
IntendedMeans.setTrigger(Trigger tr) |
boolean |
Unifier.unifies(Trigger te1,
Trigger te2) |
boolean |
Unifier.unifiesNoUndo(Trigger te1,
Trigger te2) |
Constructor and Description |
---|
Event(Trigger t,
Intention i) |
IntendedMeans(Option opt,
Trigger te) |
Modifier and Type | Field and Description |
---|---|
static Trigger |
PlanLibrary.TE_JAG_AWAKING |
static Trigger |
PlanLibrary.TE_JAG_SLEEPING |
Modifier and Type | Method and Description |
---|---|
Trigger |
Trigger.capply(Unifier u) |
Trigger |
Trigger.clone() |
Trigger |
Plan.getTrigger() |
Trigger |
Plan.getTriggerEvent()
Deprecated.
use getTrigger
|
static Trigger |
Trigger.parseTrigger(java.lang.String sTe)
prefer to use ASSyntax.parseTrigger
|
static Trigger |
ASSyntax.parseTrigger(java.lang.String sTe)
creates a new trigger by parsing a string
|
static 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, ....
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Plan> |
PlanLibrary.getAllRelevant(Trigger te)
Deprecated.
use getCandidatePlans(te) instead
|
java.util.List<Plan> |
PlanLibrary.getCandidatePlans(Trigger te) |
boolean |
PlanLibrary.hasCandidatePlan(Trigger te) |
boolean |
PlanLibrary.isRelevant(Trigger te)
Deprecated.
use hasCandidatePlan(te) instead
|
Unifier |
Plan.isRelevant(Trigger te)
returns an unifier if this plan is relevant for the event te,
returns null otherwise.
|
boolean |
Trigger.sameType(Trigger e) |
Constructor and Description |
---|
Plan(Pred label,
Trigger te,
LogicalFormula ct,
PlanBody bd) |
Modifier and Type | Method and Description |
---|---|
int |
succeed_goal.dropIntention(Intention i,
Trigger g,
TransitionSystem ts,
Unifier un) |
int |
fail_goal.dropIntention(Intention i,
Trigger g,
TransitionSystem ts,
Unifier un) |