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
D
decode(int, String)
- Static method in class dk.brics.bisim.model.
Protocol
Decode a message and put relevant arguments in a ArrayList.
deemphasizeEdge(String, String)
- Method in class dk.brics.bisim.model.
SimulatorModel
De-emphasize an edge when mouse exits an action name.
DEFENDER
- Static variable in class dk.brics.bisim.model.
OptionsModel
DEFENDER_WINS
- Static variable in class dk.brics.bisim.view.
Message
defenderRadioButton
- Variable in class dk.brics.bisim.view.
OptionsView
defenderStep(Node)
- Method in class dk.brics.bisim.controller.
AIDefender
Send a message to the message passer with the name of the node we have chosen to step to.
defenderStep(String)
- Method in class dk.brics.bisim.controller.
GameControllerImpl
defenderString
- Static variable in class dk.brics.bisim.view.
OptionsView
DELIM
- Static variable in class dk.brics.bisim.model.
Protocol
A delimiter used for encoding messages.
displayConfiguration()
- Method in class dk.brics.bisim.controller.
GameControllerImpl
displayLTS(Graph, GrappaAdapter)
- Method in class dk.brics.bisim.view.
LTSPanel
Display the LTS.
displayLTSs(Graph, Graph, GrappaAdapter)
- Method in class dk.brics.bisim.view.
GameView
Display the two LTSs.
displayLTSTitles(String, String)
- Method in class dk.brics.bisim.view.
GameView
Display the titles of the two LTSs.
displayStatus(String)
- Method in class dk.brics.bisim.view.
OptionsView
Display a status in the lower panel.
distance
- Variable in class dk.brics.bisim.equiv.
CGNode
dk.brics.bisim
- package dk.brics.bisim
dk.brics.bisim.controller
- package dk.brics.bisim.controller
dk.brics.bisim.equiv
- package dk.brics.bisim.equiv
dk.brics.bisim.model
- package dk.brics.bisim.model
dk.brics.bisim.view
- package dk.brics.bisim.view
dotModel
- Variable in class dk.brics.bisim.
BisimulationGame
DotModel
- Class in
dk.brics.bisim.model
A data model for making dot representations from graph files.
DotModel()
- Constructor for class dk.brics.bisim.model.
DotModel
dotModel
- Variable in class dk.brics.bisim.model.
SimulatorModel
dotPath
- Variable in class dk.brics.bisim.controller.
SimulatorController
dotPath
- Variable in class dk.brics.bisim.model.
UserProperties
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