ix.ip2
Class Ip2ModelManager.BindingSentinel

java.lang.Object
  ix.ip2.Ip2ModelManager.BindingSentinel

All Implemented Interfaces:

AbstractPMM.Sentinel, java.lang.Runnable

Enclosing class:

Ip2ModelManager

protected class Ip2ModelManager.BindingSentinel
extends java.lang.Object
implements AbstractPMM.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

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 AbstractPMM.Sentinel

run

public void run()

Specified by:

run in interface java.lang.Runnable