Uses of Interface
org.jcsp.net.dynamic.MigratableChannelInput
Packages that use MigratableChannelInput
Package
Description
Supports dynamic operations over the JCSP.NET infrastructure.
-
Uses of MigratableChannelInput in org.jcsp.net.dynamic
Classes in org.jcsp.net.dynamic that implement MigratableChannelInputModifier and TypeClassDescriptionclass
A migratable input channel end that can be used as a guard within anAlternative
.(package private) class
Implements a migratable input channel end that can be used in anAlternative
.