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
B
bisimulation
- Variable in class dk.brics.bisim.
BisimulationGame
bisimulation
- Variable in class dk.brics.bisim.model.
GlobalModelImpl
BISIMULATION_STRONG
- Static variable in class dk.brics.bisim.model.
OptionsModel
BISIMULATION_WEAK
- Static variable in class dk.brics.bisim.model.
OptionsModel
bisimulationButtonGroup
- Variable in class dk.brics.bisim.view.
OptionsView
BisimulationGame
- Class in
dk.brics.bisim
The main class of the application.
BisimulationGame()
- Constructor for class dk.brics.bisim.
BisimulationGame
Starts a bisimulation game, and shows the options view.
bisimulationPanel
- Variable in class dk.brics.bisim.view.
OptionsView
bisimulationString
- Static variable in class dk.brics.bisim.view.
OptionsView
bisimulationType
- Variable in class dk.brics.bisim.model.
OptionsModel
Block
- Class in
dk.brics.bisim.equiv
A partition in a state space.
Block(Set<Node>, int)
- Constructor for class dk.brics.bisim.equiv.
Block
Constructs a block holding a set of nodes and identified by a block number.
blockNumber
- Variable in class dk.brics.bisim.equiv.
Block
blockNumber
- Variable in class dk.brics.bisim.equiv.
Capability
blocks
- Variable in class dk.brics.bisim.equiv.
StateSpace
Blocks making up the partition.
borderIsRed
- Variable in class dk.brics.bisim.view.
LTSPanel
Whether or not the border is red.
BOTH
- Static variable in class dk.brics.bisim.model.
OptionsModel
browseString
- Static variable in class dk.brics.bisim.view.
OptionsView
build(StateSpace)
- Method in class dk.brics.bisim.equiv.
ConfigurationGraph
Builds a graph from a state space.
buildPerfectAttackerStrategy()
- Method in class dk.brics.bisim.equiv.
ConfigurationGraph
Computes a strategy for the attacker.
buildStateSpace()
- Method in class dk.brics.bisim.model.
GameModel
Create a state space, partition it, and create a corresponding configuration graph.
buttonPanel
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
The button panel to the right, holding the reset and quit buttons.
buttonPanel
- Variable in class dk.brics.bisim.view.
OptionsView
buttonPanel
- Variable in class dk.brics.bisim.view.
SimulatorView
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