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
T
tabbedPane
- Variable in class dk.brics.bisim.view.
MainView
The tabbed pane holding an options view and a game view.
tabbedPane
- Variable in class dk.brics.bisim.view.
OptionsView
The tabbed pane to the right.
tailId
- Variable in class dk.brics.bisim.equiv.
CGEdge
talk(int, String)
- Method in interface dk.brics.bisim.controller.
MessagePasser
Used for sending chat messages to the other player.
talk(int, String)
- Method in class dk.brics.bisim.controller.
MessagePasserImpl
targetNodeName
- Variable in class dk.brics.bisim.equiv.
Strategy
tauActions
- Variable in class dk.brics.bisim.model.
SimulatorModel
Tau actions are saved by name (label is always 'tau').
tauButton
- Variable in class dk.brics.bisim.view.
SimulatorView
textPane
- Variable in class dk.brics.bisim.view.
AboutView
textPane
- Variable in class dk.brics.bisim.view.
HelpView
title
- Variable in class dk.brics.bisim.view.
LTSPanel
The title of the border.
TITLE
- Static variable in class dk.brics.bisim.view.
MainView
Main window title.
titledBorder
- Variable in class dk.brics.bisim.view.
LTSPanel
The titled border.
toggleBorder()
- Method in class dk.brics.bisim.view.
LTSPanel
Toggle border color (red / light gray).
toNode
- Variable in class dk.brics.bisim.equiv.
AbstractSuccessor
toNode
- Variable in class dk.brics.bisim.model.
LTSModel
toString()
- Method in class dk.brics.bisim.equiv.
Block
toString()
- Method in class dk.brics.bisim.equiv.
Capability
toString()
- Method in class dk.brics.bisim.equiv.
CGEdge
toString()
- Method in class dk.brics.bisim.equiv.
CGNode
toString()
- Method in class dk.brics.bisim.equiv.
ConfigurationGraph
toString()
- Method in class dk.brics.bisim.equiv.
StateSpace
toString()
- Method in class dk.brics.bisim.equiv.
Strategy
toString()
- Method in class dk.brics.bisim.equiv.
StrongSuccessor
toString()
- Method in class dk.brics.bisim.equiv.
WeakSuccessor
trace
- Variable in class dk.brics.bisim.view.
GameView
A text pane inside the trace scroll pane.
trace
- Variable in class dk.brics.bisim.view.
SimulatorView
traceDimension
- Variable in class dk.brics.bisim.view.
GameView
traceDimension
- Variable in class dk.brics.bisim.view.
SimulatorView
traceScrollPane
- Variable in class dk.brics.bisim.view.
GameView
A scroll pane for the trace.
traceScrollPane
- Variable in class dk.brics.bisim.view.
SimulatorView
turn
- Variable in class dk.brics.bisim.model.
GameModel
TURN_ATTACKER_1
- Static variable in class dk.brics.bisim.model.
GameModel
TURN_ATTACKER_2
- Static variable in class dk.brics.bisim.model.
GameModel
TURN_DEFENDER
- Static variable in class dk.brics.bisim.model.
GameModel
TWO_PLAYER_LOCAL
- Static variable in class dk.brics.bisim.model.
OptionsModel
TWO_PLAYER_REMOTE
- Static variable in class dk.brics.bisim.model.
OptionsModel
twoPlayerLocalRadioButton
- Variable in class dk.brics.bisim.view.
OptionsView
twoPlayerLocalString
- Static variable in class dk.brics.bisim.view.
OptionsView
twoPlayerRemoteRadioButton
- Variable in class dk.brics.bisim.view.
OptionsView
twoPlayerRemoteString
- 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