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
H
hashCode()
- Method in class dk.brics.bisim.equiv.
Capability
hashCode()
- Method in class dk.brics.bisim.equiv.
CGEdge
hashCode()
- Method in class dk.brics.bisim.equiv.
CGNode
hashCode()
- Method in class dk.brics.bisim.equiv.
StrongSuccessor
hashCode()
- Method in class dk.brics.bisim.equiv.
WeakSuccessor
hasProperties()
- Method in class dk.brics.bisim.model.
OptionsModel
Checks if the user has chosen game properties.
hasRegistry
- Variable in class dk.brics.bisim.
BisimulationGame
hasStateSpacePartition
- Variable in class dk.brics.bisim.model.
GameModel
hasStateSpacePartition()
- Method in class dk.brics.bisim.model.
GameModel
hasTau()
- Method in class dk.brics.bisim.model.
SimulatorModel
headId
- Variable in class dk.brics.bisim.equiv.
CGEdge
height
- Static variable in class dk.brics.bisim.view.
MainView
height
- Variable in class dk.brics.bisim.view.
SimulatorView
HELP_URL
- Static variable in class dk.brics.bisim.
JarResources
Name of the HTML file displayed in the Help view.
HelpView
- Class in
dk.brics.bisim.view
A panel describing game rules and help.
HelpView(int, int)
- Constructor for class dk.brics.bisim.view.
HelpView
helpView
- Variable in class dk.brics.bisim.view.
MainView
The help page.
helpViewString
- Static variable in class dk.brics.bisim.view.
MainView
Help page tab title.
host
- Variable in class dk.brics.bisim.model.
OptionsModel
hostLabel
- Variable in class dk.brics.bisim.view.
OptionsView
hostString
- Static variable in class dk.brics.bisim.view.
OptionsView
hostTextField
- Variable in class dk.brics.bisim.view.
OptionsView
hostTextFieldSize
- 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