Uses of Interface
org.jcsp.net.dynamic.MigratableChannelInput

Packages that use MigratableChannelInput

Package	Description
org.jcsp.net.dynamic	Supports dynamic operations over the JCSP.NET infrastructure.

Uses of MigratableChannelInput in org.jcsp.net.dynamic

Classes in org.jcsp.net.dynamic that implement MigratableChannelInput

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.