A B C D E F G H I J K L M N O P Q R S T U V W Y

P

partition() - Method in class dk.brics.bisim.equiv.StateSpace
Partitions the state space according to strong bisimulation and returns true if the two initial nodes are in the same block (partition).
pictureLabel - Variable in class dk.brics.bisim.view.HelpView
 
picturePanel - Variable in class dk.brics.bisim.view.HelpView
 
players - Variable in class dk.brics.bisim.model.OptionsModel
 
playersBorder - Variable in class dk.brics.bisim.view.OptionsView
 
playersButtonGroup - Variable in class dk.brics.bisim.view.OptionsView
 
playersPanel - Variable in class dk.brics.bisim.view.OptionsView
 
playersString - Static variable in class dk.brics.bisim.view.OptionsView
 
POLICY_FILE - Static variable in class dk.brics.bisim.JarResources
Name of the security policy file.
PORT - Static variable in class dk.brics.bisim.model.Protocol
A fixed port on which to create a registry.
prepareGameView() - Method in class dk.brics.bisim.controller.GameControllerImpl
 
Protocol - Class in dk.brics.bisim.model
Static information for remote method invocation.
Protocol() - Constructor for class dk.brics.bisim.model.Protocol
 

A B C D E F G H I J K L M N O P Q R S T U V W Y