Index

A B C D E F G H I J L M N O P R S T U V W X Z 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

P

paint(Graphics) - Method in class org.jcsp.awt.ActiveCanvas
This method is used by the JVM event thread -- it is not really for public consumption.
paint(Graphics) - Method in class org.jcsp.awt.DisplayList
This is the call-back delegated here by the registered Component.
paint(Graphics) - Method in interface org.jcsp.awt.Paintable
This is the call-back delegated here by the registered Component.
Paintable - Interface in org.jcsp.awt
Active components may delegate their paint and update methods to objects implementing this interface.
Pairs - Class in org.jcsp.plugNplay
Generates sums of successive pairs of input Integers.
Pairs(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Pairs
Construct a new Pairs process with the input Channel in and the output Channel out.
PairsInt - Class in org.jcsp.plugNplay.ints
Generates sums of successive pairs of input values.
PairsInt(ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PairsInt
Construct a new PairsInt process with the input Channel in and the output Channel out.
Parallel - Class in org.jcsp.lang
This process constructor taks an array of CSProcesses and returns a CSProcess that is the parallel composition of its process arguments.
Parallel() - Constructor for class org.jcsp.lang.Parallel
Construct a new Parallel object initially without any processes.
Parallel(CSProcess[]) - Constructor for class org.jcsp.lang.Parallel
Construct a new Parallel object with the processes specified.
Parallel(CSProcess[][]) - Constructor for class org.jcsp.lang.Parallel
Construct a new Parallel object with the processes specified.
Parallel Implementation - Search tag in class org.jcsp.lang.Sequence
Section
Paraplex - Class in org.jcsp.plugNplay
Parallel multiplexes its input Object stream array on to one output stream.
Paraplex(ChannelInput[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.Paraplex
Construct a new Paraplex process with the input Channel in and the output Channels out.
ParaplexInt - Class in org.jcsp.plugNplay.ints
Parallel multiplexes its input integer stream array on to one output stream.
ParaplexInt(ChannelInputInt[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.ints.ParaplexInt
Construct a new ParaplexInt process with the input Channel in and the output Channels out.
pending() - Method in class org.jcsp.lang.AltingChannelInput
Returns whether there is data pending on this channel.
pending() - Method in class org.jcsp.lang.AltingChannelInputInt
Returns whether there is data pending on this channel.
pending() - Method in class org.jcsp.lang.AltingChannelInputWrapper
Deprecated.
Returns whether there is data pending on this channel.
pending() - Method in class org.jcsp.lang.AltingChannelOutput
Returns whether the receiver is committed to read from this channel.
pending() - Method in class org.jcsp.lang.AltingChannelOutputInt
Returns whether the receiver is committed to read from this channel.
pending() - Method in class org.jcsp.lang.AltingConnectionClient
Returns whether there is an open() pending on this connection.
pending() - Method in class org.jcsp.lang.AltingConnectionServer
Returns whether there is an open() pending on this connection.
Plex - Class in org.jcsp.plugNplay
Fair multiplexes its input Object stream array into one output stream.
Plex(AltingChannelInput[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.Plex
Construct a new Plex process with input channels in and output channel out.
Plex2 - Class in org.jcsp.plugNplay
Fair multiplexes two Object streams into one.
Plex2(AltingChannelInput, AltingChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Plex2
Construct a new Plex2 process with the input channels in0 and in1 and the output channel out.
Plex2Int - Class in org.jcsp.plugNplay.ints
Fair multiplexes two integer streams into one.
Plex2Int(AltingChannelInputInt, AltingChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.Plex2Int
Construct a new Plex2Int process with the input channels in0 and in1 and the output channel out.
PlexInt - Class in org.jcsp.plugNplay.ints
Fair multiplexes its input integer stream array into one output stream.
PlexInt(AltingChannelInputInt[], ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PlexInt
Construct a new PlexInt process with input channels in and output channel out.
Plus - Class in org.jcsp.plugNplay
Sums two Integer streams to one stream.
Plus(ChannelInput, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Plus
Construct a new Plus process with the input Channels in1 and in2 and the output Channel out.
PlusInt - Class in org.jcsp.plugNplay.ints
Sums two integer streams to one stream.
PlusInt(ChannelInputInt, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PlusInt
Construct a new PlusInt process with the input Channels in0 and in1 and the output Channel out.
poison(int) - Method in class org.jcsp.lang.AltingChannelInputWrapper
Deprecated.
 
poison(int) - Method in class org.jcsp.lang.BlackHoleChannel
 
poison(int) - Method in class org.jcsp.lang.BlackHoleChannelInt
 
poison(int) - Method in class org.jcsp.lang.ChannelInputWrapper
Deprecated.
 
poison(int) - Method in class org.jcsp.lang.ChannelOutputWrapper
Deprecated.
 
poison(int) - Method in interface org.jcsp.lang.Poisonable
This injects poison into the channel.
Poisonable - Interface in org.jcsp.lang
All channel-ends implement this inteface.
PoisonException - Class in org.jcsp.lang
This exception is thrown when a process tries to use a channel that has been poisoned.
PoisonException(int) - Constructor for class org.jcsp.lang.PoisonException
JCSP users should not have to construct these.
PoisonFilter - Class in org.jcsp.util.filter
This filter will throw a PoisonException when filter(Object) is called.
PoisonFilter() - Constructor for class org.jcsp.util.filter.PoisonFilter
Constructs a new filter with the default message.
PoisonFilter(String) - Constructor for class org.jcsp.util.filter.PoisonFilter
Constructs a new filter with a specific message.
PoisonFilterException - Class in org.jcsp.util.filter
Deprecated.
Use poison directly instead
PoisonFilterException(String) - Constructor for class org.jcsp.util.filter.PoisonFilterException
Deprecated.
 
poll(long) - Method in class org.jcsp.lang.AltingBarrier
This is a simple way to poll for synchonisation on an AltingBarrier without having to set up an Alternative.
Polling - Search tag in class org.jcsp.lang.Alternative
Section
Prefix - Class in org.jcsp.plugNplay
Prefixes a user-supplied object to the Object stream flowing through.
Prefix(Object, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Prefix
Construct a new Prefix process with the input Channel in and the output Channel out.
PrefixInt - Class in org.jcsp.plugNplay.ints
Prefixes a user-supplied integer to the int stream flowing through.
PrefixInt(int, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PrefixInt
Construct a new PrefixInt process with the input Channel in and the output Channel out.
Printer - Class in org.jcsp.plugNplay
Prints each Object from its input channel to a PrintStream.
Printer(ChannelInput) - Constructor for class org.jcsp.plugNplay.Printer
Construct a new Printer with System.out as its PrintStream and empty prefix and postfix strings.
Printer(ChannelInput, PrintStream) - Constructor for class org.jcsp.plugNplay.Printer
Construct a new Printer with empty prefix and postfix strings.
Printer(ChannelInput, PrintStream, String, String) - Constructor for class org.jcsp.plugNplay.Printer
Construct a new Printer.
Printer(ChannelInput, String, String) - Constructor for class org.jcsp.plugNplay.Printer
Construct a new Printer with System.out as its PrintStream.
PrinterInt - Class in org.jcsp.plugNplay.ints
Prints each int from its input channel to a PrintStream.
PrinterInt(ChannelInputInt) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
Construct a new PrinterInt with System.out as its PrintStream and empty prefix and postfix strings.
PrinterInt(ChannelInputInt, PrintStream) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
Construct a new PrinterInt with empty prefix and postfix strings.
PrinterInt(ChannelInputInt, PrintStream, String, String) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
Construct a new PrinterInt.
PrinterInt(ChannelInputInt, String, String) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
Construct a new PrinterInt with System.out as its PrintStream.
Priorities - Search tag in class org.jcsp.lang.AltingBarrier
Section
PRIORITY_MAX - Static variable in class org.jcsp.lang.ProcessManager
The maximum priority value for running a process.
PRIORITY_MIN - Static variable in class org.jcsp.lang.ProcessManager
The minimum priority value for running a process.
PRIORITY_NORM - Static variable in class org.jcsp.lang.ProcessManager
The normal priority value for running a process.
PriParallel - Class in org.jcsp.lang
This is an extension of the Parallel class that prioritises the processes given to its control.
PriParallel() - Constructor for class org.jcsp.lang.PriParallel
Construct a new PriParallel object initially without any processes.
PriParallel(CSProcess[]) - Constructor for class org.jcsp.lang.PriParallel
Construct a new PriParallel object with the processes specified.
priSelect() - Method in class org.jcsp.lang.Alternative
Returns the index of one of the ready guards.
priSelect() - Method in class org.jcsp.lang.InlineAlternative
Creates an Alternative (if needed) and delegates the call to it.
priSelect(boolean[]) - Method in class org.jcsp.lang.Alternative
Returns the index of one of the ready guards whose preCondition index is true.
Process Diagram - Search tag in class org.jcsp.awt.ActiveButton
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveButtonControl
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveCanvas
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveCheckbox
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveCheckboxMenuItem
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveChoice
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveClosingFrame
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveComponent
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveContainer
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveDialog
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveFileDialog
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveFrame
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveLabel
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveList
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveMenu
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveMenuItem
Section
Process Diagram - Search tag in class org.jcsp.awt.ActivePanel
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveScrollPane
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveScrollbar
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveTextArea
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveTextEnterArea
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveTextEnterField
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveTextField
Section
Process Diagram - Search tag in class org.jcsp.awt.ActiveWindow
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.And
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.BlackHole
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Delta
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Delta2
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Demultiplex
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Deparaplex
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.DynamicDelta
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.FixedDelay
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.FramedButton
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.FramedButtonArray
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.FramedButtonGrid
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.FramedScrollbar
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Generate
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Identity
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Integrate
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Merge
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Merge2
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Mult
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Multiplex
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Nand
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Nor
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Numbers
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Or
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Pairs
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Paraplex
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Plex
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Plex2
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Plus
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Prefix
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Printer
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ProcessRead
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ProcessWrite
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Regular
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Regulate
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Sign
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Squares
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Substitute
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Successor
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Tail
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Times
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.Xor
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.AndInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.BlackHoleInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.Delta2Int
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.DeltaInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.DemultiplexInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.DeparaplexInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.DynamicDeltaInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.FixedDelayInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.GenerateInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.IdentityInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.IntegrateInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.Merge2Int
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.MergeInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.MultInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.MultiplexInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.NandInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.NorInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.NumbersInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.OrInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.PairsInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.ParaplexInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.Plex2Int
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.PlexInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.PlusInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.PrefixInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.PrinterInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.ProcessReadInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.ProcessWriteInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.RegularInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.RegulateInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.SignInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.SquaresInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.SubstituteInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.SuccessorInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.TailInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.TimesInt
Section
Process Diagram - Search tag in class org.jcsp.plugNplay.ints.XorInt
Section
ProcessInterruptedException - Exception Class in org.jcsp.lang
This is thrown if a process is interrupted whilst blocked during synchronisation - processes should never be interrupted.
ProcessInterruptedException(String) - Constructor for exception class org.jcsp.lang.ProcessInterruptedException
 
ProcessManager - Class in org.jcsp.lang
This enables a CSProcess to be spawned concurrently with the process doing the spawning.
ProcessManager(CSProcess) - Constructor for class org.jcsp.lang.ProcessManager
 
Process Oriented Design - Search tag in interface org.jcsp.lang.CSProcess
Section
ProcessRead - Class in org.jcsp.plugNplay
Reads one Object from its input channel.
ProcessRead(ChannelInput) - Constructor for class org.jcsp.plugNplay.ProcessRead
Construct a new ProcessRead.
ProcessReadInt - Class in org.jcsp.plugNplay.ints
Reads one int from its input channel.
ProcessReadInt(ChannelInputInt) - Constructor for class org.jcsp.plugNplay.ints.ProcessReadInt
Construct a new ProcessReadInt.
ProcessWrite - Class in org.jcsp.plugNplay
Writes one Object to its output channel.
ProcessWrite(ChannelOutput) - Constructor for class org.jcsp.plugNplay.ProcessWrite
Construct a new ProcessWrite.
ProcessWriteInt - Class in org.jcsp.plugNplay.ints
Writes one int to its output channel.
ProcessWriteInt(ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.ProcessWriteInt
Construct a new ProcessWriteInt.
Protocol Definition - Search tag in class org.jcsp.lang.TaggedProtocol
Section
Protocol Use - Search tag in class org.jcsp.lang.TaggedProtocol
Section
put(int) - Method in class org.jcsp.util.ints.BufferInt
Puts a new int into the BufferInt.
put(int) - Method in interface org.jcsp.util.ints.ChannelDataStoreInt
Puts a new int into the ChannelDataStoreInt.
put(int) - Method in class org.jcsp.util.ints.InfiniteBufferInt
Puts a new int into the InfiniteBufferInt.
put(int) - Method in class org.jcsp.util.ints.OverFlowingBufferInt
Puts a new int into the OverFlowingBufferInt.
put(int) - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt
Puts a new int into the OverWriteOldestBufferInt.
put(int) - Method in class org.jcsp.util.ints.OverWritingBufferInt
Puts a new int into the OverWritingBufferInt.
put(int) - Method in class org.jcsp.util.ints.ZeroBufferInt
Puts a new int into the ZeroBufferInt.
put(Object) - Method in class org.jcsp.util.Buffer
Puts a new Object into the Buffer.
put(Object) - Method in interface org.jcsp.util.ChannelDataStore
Puts a new Object into the ChannelDataStore.
put(Object) - Method in class org.jcsp.util.InfiniteBuffer
Puts a new Object into the InfiniteBuffer.
put(Object) - Method in class org.jcsp.util.OverFlowingBuffer
Puts a new Object into the OverFlowingBuffer.
put(Object) - Method in class org.jcsp.util.OverWriteOldestBuffer
Puts a new Object into the OverWriteOldestBuffer.
put(Object) - Method in class org.jcsp.util.OverWritingBuffer
Puts a new Object into the OverWritingBuffer.
put(Object) - Method in class org.jcsp.util.ZeroBuffer
Puts a new Object into the ZeroBuffer.
A B C D E F G H I J L M N O P R S T U V W X Z 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form