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
R
randomButton
- Variable in class dk.brics.bisim.view.
SimulatorView
readUserProperties()
- Method in class dk.brics.bisim.model.
UserProperties
Reads properties from the file
properties.txt
if it exists in the current directory.
reg
- Variable in class dk.brics.bisim.
BisimulationGame
Remote object registry: Used in 2p remote games .
registerGameController(GameController, int)
- Method in interface dk.brics.bisim.controller.
MessagePasser
Registers a local game controller, such that it may receive messages.
registerGameController(GameController, int)
- Method in class dk.brics.bisim.controller.
MessagePasserImpl
reset()
- Method in class dk.brics.bisim.controller.
SimulatorController
reset()
- Method in class dk.brics.bisim.model.
GameModel
Reset LTS models.
reset()
- Method in class dk.brics.bisim.model.
LTSModel
Reset the displayed automaton to its initial state.
reset()
- Method in class dk.brics.bisim.model.
SimulatorModel
Reset the simulator model and its underlying LTS model.
resetBorder()
- Method in class dk.brics.bisim.view.
LTSPanel
Reset border color to light gray.
resetButton
- Variable in class dk.brics.bisim.view.
SimulatorView
resetCurrentEdges()
- Method in class dk.brics.bisim.model.
LTSModel
Reset current edges to default color (black).
resetGame()
- Method in class dk.brics.bisim.controller.
GameControllerImpl
resetGameButton
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
resetGameString
- Static variable in class dk.brics.bisim.view.
GameViewUpperPanel
resetInputActions(int)
- Method in class dk.brics.bisim.view.
SimulatorView
resetOutputActions(int)
- Method in class dk.brics.bisim.view.
SimulatorView
resetSeenConfigurations()
- Method in class dk.brics.bisim.model.
GameModel
Reset the set of seen configurations and add the initial configuration.
resetTrace()
- Method in class dk.brics.bisim.view.
GameView
Clear the text in the trace scroll pane.
resetTrace()
- Method in class dk.brics.bisim.view.
SimulatorView
right
- Variable in class dk.brics.bisim.equiv.
CGNode
RIGHT_SIDE
- Static variable in class dk.brics.bisim.model.
GameModel
RIGHT_SIDE
- Static variable in class dk.brics.bisim.view.
Message
rightAction
- Variable in class dk.brics.bisim.equiv.
CGEdge
rightFile
- Variable in class dk.brics.bisim.model.
GlobalModelImpl
rightGraphAsDot
- Variable in class dk.brics.bisim.model.
GlobalModelImpl
rightLTSBrowseButton
- Variable in class dk.brics.bisim.view.
OptionsView
rightLTSFile
- Variable in class dk.brics.bisim.model.
OptionsModel
rightLTSLabel
- Variable in class dk.brics.bisim.view.
OptionsView
rightLTSModel
- Variable in class dk.brics.bisim.model.
GameModel
rightLTSPanel
- Variable in class dk.brics.bisim.view.
GameView
A panel for the right LTS.
rightLTSPanel
- Variable in class dk.brics.bisim.view.
OptionsView
rightLTSPath
- Variable in class dk.brics.bisim.model.
OptionsModel
rightLTSString
- Static variable in class dk.brics.bisim.view.
OptionsView
rightLTSTextField
- Variable in class dk.brics.bisim.view.
OptionsView
rightNodeName
- Variable in class dk.brics.bisim.equiv.
CGEdge
rightSuccessorMap
- Variable in class dk.brics.bisim.equiv.
StateSpace
role
- Variable in class dk.brics.bisim.
BisimulationGame
role
- Variable in class dk.brics.bisim.model.
GlobalModelImpl
role
- Variable in class dk.brics.bisim.model.
OptionsModel
roleBorder
- Variable in class dk.brics.bisim.view.
OptionsView
roleButtonGroup
- Variable in class dk.brics.bisim.view.
OptionsView
rolePanel
- Variable in class dk.brics.bisim.view.
OptionsView
roleString
- Static variable in class dk.brics.bisim.view.
OptionsView
ROUND
- Static variable in class dk.brics.bisim.view.
Message
roundNumber
- Variable in class dk.brics.bisim.model.
GameModel
run()
- Method in class dk.brics.bisim.controller.
AIAttacker
run()
- Method in class dk.brics.bisim.controller.
AIDefender
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