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 Description class
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within anAlternative
.(package private) class
MigratableAltingChannelInputImpl
Implements a migratable input channel end that can be used in anAlternative
.
-