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
L
layoutGraph(String)
- Method in class dk.brics.bisim.model.
LTSModel
Attempts to layout a graph using the Graphviz dot program.
left
- Variable in class dk.brics.bisim.equiv.
CGNode
LEFT_SIDE
- Static variable in class dk.brics.bisim.model.
GameModel
LEFT_SIDE
- Static variable in class dk.brics.bisim.view.
Message
leftAction
- Variable in class dk.brics.bisim.equiv.
CGEdge
leftFile
- Variable in class dk.brics.bisim.model.
GlobalModelImpl
leftGraphAsDot
- Variable in class dk.brics.bisim.model.
GlobalModelImpl
leftLTSBrowseButton
- Variable in class dk.brics.bisim.view.
OptionsView
leftLTSFile
- Variable in class dk.brics.bisim.model.
OptionsModel
leftLTSLabel
- Variable in class dk.brics.bisim.view.
OptionsView
leftLTSModel
- Variable in class dk.brics.bisim.model.
GameModel
leftLTSPanel
- Variable in class dk.brics.bisim.view.
GameView
A panel for the left LTS.
leftLTSPanel
- Variable in class dk.brics.bisim.view.
OptionsView
leftLTSPath
- Variable in class dk.brics.bisim.model.
OptionsModel
leftLTSString
- Static variable in class dk.brics.bisim.view.
OptionsView
leftLTSTextField
- Variable in class dk.brics.bisim.view.
OptionsView
leftNodeName
- Variable in class dk.brics.bisim.equiv.
CGEdge
leftSuccessorMap
- Variable in class dk.brics.bisim.equiv.
StateSpace
lineBorder
- Variable in class dk.brics.bisim.view.
LTSPanel
The line border of the titled border.
LOCAL
- Static variable in class dk.brics.bisim.model.
OptionsModel
logoLabel
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
logoPanel
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
lonely
- Variable in class dk.brics.bisim.controller.
GameControllerImpl
LOSER_FILE
- Static variable in class dk.brics.bisim.
JarResources
Name of the loser smiley image.
loserImage
- Variable in class dk.brics.bisim.view.
GameView
loserImageIcon
- Variable in class dk.brics.bisim.view.
GameView
loweredetched
- Variable in class dk.brics.bisim.view.
OptionsView
lowerPanel
- Variable in class dk.brics.bisim.view.
OptionsView
The status panel underneath the tabbed pane.
LTSModel
- Class in
dk.brics.bisim.model
A local data model holding a Grappa graph.
LTSModel(String)
- Constructor for class dk.brics.bisim.model.
LTSModel
Constructs an LTS model given the name of the initial node in the graph.
ltsModel
- Variable in class dk.brics.bisim.model.
SimulatorModel
LTSPanel
- Class in
dk.brics.bisim.view
A panel for displaying a LTS.
LTSPanel(Dimension)
- Constructor for class dk.brics.bisim.view.
LTSPanel
Constructs an LTS panel given the preferred dimension of a graph panel.
ltsPanel
- Variable in class dk.brics.bisim.view.
OptionsView
ltsString
- Static variable in class dk.brics.bisim.view.
OptionsView
ltsTextFieldSize
- Static variable in class dk.brics.bisim.view.
OptionsView
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