Package | Description |
---|---|
org.jcsp.net.dynamic |
Supports dynamic operations over the JCSP.NET infrastructure.
|
Modifier and Type | Class and Description |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an
Alternative . |
(package private) class |
MigratableAltingChannelInputImpl
Implements a migratable input channel end that can be used in an
Alternative . |