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
E
edgeLabel
- Variable in class dk.brics.bisim.equiv.
AbstractSuccessor
edgeName
- Variable in class dk.brics.bisim.equiv.
StrongSuccessor
edgeNames
- Variable in class dk.brics.bisim.equiv.
WeakSuccessor
edges
- Variable in class dk.brics.bisim.equiv.
ConfigurationGraph
The set of edges in the graph.
EMP_COLOR
- Static variable in class dk.brics.bisim.model.
SimulatorModel
emphasizedEdge
- Variable in class dk.brics.bisim.model.
SimulatorModel
emphasizeEdge(String, String)
- Method in class dk.brics.bisim.model.
SimulatorModel
Emphasize an edge when mouse hovers over an action name.
enableGameView()
- Method in class dk.brics.bisim.view.
MainView
Enable the game view tab.
enableOptionsView()
- Method in class dk.brics.bisim.view.
MainView
Enable the options view tab.
encode(ArrayList<String>)
- Static method in class dk.brics.bisim.model.
Protocol
Encode a list of arguments into one string.
equals(Object)
- Method in class dk.brics.bisim.equiv.
Capability
equals(Capability)
- Method in class dk.brics.bisim.equiv.
Capability
Two capabilities are equal if there actions are equal and their blockNumbers are equal.
equals(Object)
- Method in class dk.brics.bisim.equiv.
CGEdge
equals(CGEdge)
- Method in class dk.brics.bisim.equiv.
CGEdge
equals(Object)
- Method in class dk.brics.bisim.equiv.
CGNode
equals(CGNode)
- Method in class dk.brics.bisim.equiv.
CGNode
equals(Object)
- Method in class dk.brics.bisim.equiv.
StrongSuccessor
equals(StrongSuccessor)
- Method in class dk.brics.bisim.equiv.
StrongSuccessor
equals(Object)
- Method in class dk.brics.bisim.equiv.
WeakSuccessor
equals(WeakSuccessor)
- Method in class dk.brics.bisim.equiv.
WeakSuccessor
EX_MESSAGE_UNBOUND
- Static variable in class dk.brics.bisim.model.
Protocol
exitButton
- Variable in class dk.brics.bisim.view.
OptionsView
exitButton
- Variable in class dk.brics.bisim.view.
SimulatorView
exitString
- 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