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
I
icon
- Variable in class dk.brics.bisim.view.
OptionsView
id
- Variable in class dk.brics.bisim.equiv.
CGNode
image
- Variable in class dk.brics.bisim.view.
OptionsView
imageLabel
- Variable in class dk.brics.bisim.view.
OptionsView
imagePanel
- Variable in class dk.brics.bisim.view.
OptionsView
The image panel to the left.
incAndGetRoundNumber()
- Method in class dk.brics.bisim.model.
GameModel
INDENTATION
- Static variable in class dk.brics.bisim.view.
Message
infiniteGameOver
- Variable in class dk.brics.bisim.model.
GameModel
initClient()
- Method in class dk.brics.bisim.
BisimulationGame
initialNodeLeft
- Variable in class dk.brics.bisim.equiv.
StateSpace
The initial nodes of the left LTS.
initialNodeName
- Variable in class dk.brics.bisim.model.
LTSModel
initialNodeRight
- Variable in class dk.brics.bisim.equiv.
StateSpace
The initial node of the right LTS.
initLocal()
- Method in class dk.brics.bisim.
BisimulationGame
initServer()
- Method in class dk.brics.bisim.
BisimulationGame
inputActions
- Variable in class dk.brics.bisim.model.
SimulatorModel
Input actions are mapped by (unique) name to label.
inputActions
- Variable in class dk.brics.bisim.view.
SimulatorView
inputActionScrollPane
- Variable in class dk.brics.bisim.view.
SimulatorView
inputButton
- Variable in class dk.brics.bisim.view.
SimulatorView
inputPanel
- Variable in class dk.brics.bisim.view.
SimulatorView
insertTraceStyles()
- Method in class dk.brics.bisim.view.
GameView
Generate the different styles used for writing in the trace text pane.
isActionEnabled(String)
- Method in class dk.brics.bisim.model.
LTSModel
Check to see if there exists an outgoing edge from current node that has label = action.
isGameOver()
- Method in class dk.brics.bisim.model.
GameModel
isLeftWeak
- Variable in class dk.brics.bisim.equiv.
CGEdge
isLeftWeak()
- Method in class dk.brics.bisim.equiv.
CGEdge
Returns if left action is weak.
isRightWeak
- Variable in class dk.brics.bisim.equiv.
CGEdge
isRightWeak()
- Method in class dk.brics.bisim.equiv.
CGEdge
Returns if right action is weak.
isWeak
- Variable in class dk.brics.bisim.equiv.
AbstractSuccessor
isWeak()
- Method in class dk.brics.bisim.equiv.
AbstractSuccessor
isWeak()
- Method in interface dk.brics.bisim.equiv.
Successor
IT_VEST_FILE
- Static variable in class dk.brics.bisim.
JarResources
Name of the it-vest logo image.
itVestImage
- Variable in class dk.brics.bisim.view.
MainView
itVestImageIcon
- Static variable in class dk.brics.bisim.view.
MainView
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