Uses of Class
jason.asSemantics.IntendedMeans
Package | Description |
---|---|
jason.asSemantics | |
jason.stdlib |
Internal actions of Jason.
|
-
Uses of IntendedMeans in jason.asSemantics
Fields in jason.asSemantics with type parameters of type IntendedMeans Modifier and Type Field Description private java.util.Deque<IntendedMeans>
Intention. intendedMeans
Methods in jason.asSemantics that return IntendedMeans Modifier and Type Method Description IntendedMeans
Intention. dropGoal(IMCondition c, Unifier u)
remove all IMs until the lowest IM that succeeds in test cIntendedMeans
Intention. getBottom()
IntendedMeans
Intention. getIM(IMCondition c, Unifier u)
returns the IntendedMeans that succeeds in test c, returns null if there isn't oneIntendedMeans
Intention. peek()
IntendedMeans
Intention. pop()
Methods in jason.asSemantics that return types with arguments of type IntendedMeans Modifier and Type Method Description java.util.Iterator<IntendedMeans>
Intention. iterator()
Methods in jason.asSemantics with parameters of type IntendedMeans Modifier and Type Method Description private void
TransitionSystem. joinRenamedVarsIntoIntentionUnifier(IntendedMeans im, Unifier values)
private Literal
TransitionSystem. prepareBodyForEvent(Literal body, Unifier u, IntendedMeans imRenamedVars)
void
Intention. push(IntendedMeans im)
boolean
IMCondition. test(IntendedMeans im, Unifier u)
-
Uses of IntendedMeans in jason.stdlib
Methods in jason.stdlib that return IntendedMeans Modifier and Type Method Description IntendedMeans
fork.ForkIntention. dropGoal(IMCondition c, Unifier un)