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
U
updateStatus(int, String)
- Method in interface dk.brics.bisim.controller.
GameController
Invoked by the message passer when status has changed by another players move.
updateStatus(int, String)
- Method in class dk.brics.bisim.controller.
GameControllerImpl
updateTrace(String, boolean)
- Method in class dk.brics.bisim.view.
GameView
Update the trace with a message.
updateTrace(String, boolean, String)
- Method in class dk.brics.bisim.view.
GameView
Update the trace with a styled message.
updateTrace(String, boolean, StyledDocument, Style)
- Method in class dk.brics.bisim.view.
GameView
updateTrace(String, String, boolean)
- Method in class dk.brics.bisim.view.
GameView
Update the trace with a message and an icon (winner or loser).
updateTrace(String)
- Method in class dk.brics.bisim.view.
SimulatorView
upperHeight
- Variable in class dk.brics.bisim.view.
GameView
upperPanel
- Variable in class dk.brics.bisim.view.
GameView
The upper (north) panel of a game view.
userProperties
- Variable in class dk.brics.bisim.
BisimulationGame
UserProperties
- Class in
dk.brics.bisim.model
The user-definable properties.
UserProperties()
- Constructor for class dk.brics.bisim.model.
UserProperties
Calls readUserProperties.
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