Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y