Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD