class wait.WaitEvent extends java.lang.Object implements CircumstanceListener
Modifier and Type | Field and Description |
---|---|
private Circumstance |
c |
private boolean |
dropped |
private Term |
elapsedTimeTerm |
private LogicalFormula |
formula |
private java.lang.String |
sEvt |
private Intention |
si |
private long |
startTime |
private Trigger |
te |
private TransitionSystem |
ts |
private Unifier |
un |
Constructor and Description |
---|
WaitEvent(Trigger te,
LogicalFormula f,
Unifier un,
TransitionSystem ts,
long timeout,
Term elapsedTimeTerm) |
Modifier and Type | Method and Description |
---|---|
void |
eventAdded(Event e) |
void |
intentionAdded(Intention i) |
void |
intentionDropped(Intention i) |
void |
intentionResumed(Intention i) |
void |
intentionSuspended(Intention i,
java.lang.String reason) |
(package private) void |
resume(boolean stopByTimeout) |
java.lang.String |
toString() |
private Trigger te
private LogicalFormula formula
private java.lang.String sEvt
private Unifier un
private Intention si
private TransitionSystem ts
private Circumstance c
private boolean dropped
private Term elapsedTimeTerm
private long startTime
WaitEvent(Trigger te, LogicalFormula f, Unifier un, TransitionSystem ts, long timeout, Term elapsedTimeTerm)
void resume(boolean stopByTimeout)
public void eventAdded(Event e)
eventAdded
in interface CircumstanceListener
public void intentionDropped(Intention i)
intentionDropped
in interface CircumstanceListener
public void intentionAdded(Intention i)
intentionAdded
in interface CircumstanceListener
public void intentionResumed(Intention i)
intentionResumed
in interface CircumstanceListener
public void intentionSuspended(Intention i, java.lang.String reason)
intentionSuspended
in interface CircumstanceListener
public java.lang.String toString()
toString
in class java.lang.Object