Uses of Class
jason.asSemantics.IMCondition
Package | Description |
---|---|
jason.asSemantics | |
jason.stdlib |
Internal actions of Jason.
|
-
Uses of IMCondition in jason.asSemantics
Fields in jason.asSemantics declared as IMCondition Modifier and Type Field Description private IMCondition
TransitionSystem. imcondSat
Methods in jason.asSemantics with parameters of type IMCondition 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. getIM(IMCondition c, Unifier u)
returns the IntendedMeans that succeeds in test c, returns null if there isn't one -
Uses of IMCondition in jason.stdlib
Methods in jason.stdlib with parameters of type IMCondition Modifier and Type Method Description void
done. drop(TransitionSystem ts, IMCondition c, Unifier un)
void
succeed_goal. drop(TransitionSystem ts, IMCondition c, Unifier un)
IntendedMeans
fork.ForkIntention. dropGoal(IMCondition c, Unifier un)
int
fail_goal. dropIntention(Intention i, IMCondition c, TransitionSystem ts, Unifier un)
int
succeed_goal. dropIntention(Intention i, IMCondition c, TransitionSystem ts, Unifier un)