|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--ix.ip2.Ip2ModelManager.BindingSentinel
A sentinel that lets an activity become complete when all the variables in its effects have values.
| Field Summary | |
(package private) PNode |
node
|
(package private) java.util.Set |
unbound
|
| Constructor Summary | |
(package private) |
Ip2ModelManager.BindingSentinel(PNode node,
java.util.Set unbound)
|
| Method Summary | |
boolean |
isReady()
|
void |
run()
|
| Methods inherited from class java.lang.Object |
|
| Field Detail |
PNode node
java.util.Set unbound
| Constructor Detail |
Ip2ModelManager.BindingSentinel(PNode node,
java.util.Set unbound)
| Method Detail |
public boolean isReady()
isReady in interface ProcessModelManager.Sentinelpublic void run()
run in interface java.lang.Runnable
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||