class TransitionSystem.FailWithDeadline extends fail_goal
Modifier and Type | Field and Description |
---|---|
(package private) Intention |
intToDrop |
(package private) Trigger |
te |
Constructor and Description |
---|
FailWithDeadline(Intention i,
Trigger t) |
Modifier and Type | Method and Description |
---|---|
int |
dropIntention(Intention i,
Trigger g,
TransitionSystem ts,
Unifier un) |
checkArguments, drop, getMaxArgs, getMinArgs
canBeUsedInContext, destroy, prepareArguments, suspendIntention
public int dropIntention(Intention i, Trigger g, TransitionSystem ts, Unifier un) throws JasonException
dropIntention
in class fail_goal
JasonException