A B C D E F G H I J M N O P R S T U V W X Z

M

mark() - Method in class org.jcsp.lang.AltingBarrier

A process may hand its barrier front-end over to another process, but the receiving process must invoke this method before using it.

Merge - Class in org.jcsp.plugNplay

Merges an array of strictly increasing Integer input streams into one strictly increasing output stream.

Merge(ChannelInput[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.Merge

Construct a new Merge2 process with the input channels inand the output channel out.

Merge2 - Class in org.jcsp.plugNplay

Merges two strictly increasing Integer input streams into one strictly increasing output stream.

Merge2(ChannelInput, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Merge2

Construct a new Merge2 process with the input channels in0 and in1 and the output channel out.

Merge2Int - Class in org.jcsp.plugNplay.ints

Merges two strictly increasing int input streams into one strictly increasing output stream.

Merge2Int(ChannelInputInt, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.Merge2Int

Construct a new Merge2Int process with the input channels in0 and in1 and the output channel out.

MergeInt - Class in org.jcsp.plugNplay.ints

Merges an array of strictly increasing int input streams into one strictly increasing output stream.

MergeInt(ChannelInputInt[], ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.MergeInt

Construct a new Merge2Int process with the input channels inand the output channel out.

MODE_ARBITRARY - Static variable in class org.jcsp.lang.InlineAlternative

Flags to control behaviour of this ALT if used as a guard.

MODE_FAIR - Static variable in class org.jcsp.lang.InlineAlternative

Flags to control behaviour of this ALT if used as a guard.

MODE_PRI - Static variable in class org.jcsp.lang.InlineAlternative

Flags to control behaviour of this ALT if used as a guard.

Mult - Class in org.jcsp.plugNplay

Scales an Integer stream.

Mult(int, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Mult

Construct a new Mult process with the input Channel in and the output Channel out.

MultInt - Class in org.jcsp.plugNplay.ints

Scales an integer stream.

MultInt(int, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.MultInt

Construct a new MultInt process with the input Channel in and the output Channel out.

Multiplex - Class in org.jcsp.plugNplay

Fair multiplexes its input Object stream array into one output stream (carrying source channel and data pairs).

Multiplex(AltingChannelInput[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.Multiplex

Construct a new Multiplex process with the input Channel in and the output Channels out.

MultiplexInt - Class in org.jcsp.plugNplay.ints

Fair multiplexes its input integer stream array into one output stream (carrying source channel and data pairs).

MultiplexInt(AltingChannelInputInt[], ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.MultiplexInt

Construct a new MultiplexInt process with the input Channel in and the output Channels out.