ix.ip2
Class Ip2ModelManager.BindingSentinel

java.lang.Object
  |
  +--ix.ip2.Ip2ModelManager.BindingSentinel
All Implemented Interfaces:
ProcessModelManager.Sentinel, java.lang.Runnable
Enclosing class:
Ip2ModelManager

protected class Ip2ModelManager.BindingSentinel
extends java.lang.Object
implements ProcessModelManager.Sentinel

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
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

node

PNode node

unbound

java.util.Set unbound
Constructor Detail

Ip2ModelManager.BindingSentinel

Ip2ModelManager.BindingSentinel(PNode node,
                                java.util.Set unbound)
Method Detail

isReady

public boolean isReady()
Specified by:
isReady in interface ProcessModelManager.Sentinel

run

public void run()
Specified by:
run in interface java.lang.Runnable