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
M
main(String[])
- Static method in class dk.brics.bisim.
BisimulationGame
Starts a bisimulation game with an options model and a view.
mainPanel
- Variable in class dk.brics.bisim.view.
OptionsView
The main panel of the options view.
MainView
- Class in
dk.brics.bisim.view
The main view class, comprising the options view and the game view.
MainView()
- Constructor for class dk.brics.bisim.view.
MainView
Constructs a view and tries to set the look & feel to the system's look & feel.
makeGraphFromDot(String, String)
- Method in class dk.brics.bisim.model.
LTSModel
Used by the CCS Simulator to always create a strong successor map.
makeGraphFromDot(String, String, int)
- Method in class dk.brics.bisim.model.
LTSModel
First construct a dot graph, then pass it to Grappa and try to make a Graph.
makeLTSs()
- Method in class dk.brics.bisim.
BisimulationGame
Construct an LTSModel for the left and right LTSs and pass this to a GameController.
Message
- Class in
dk.brics.bisim.view
A class containing game status messages.
Message()
- Constructor for class dk.brics.bisim.view.
Message
MESSAGE_ATTACKER_CHOSE_SIDE
- Static variable in class dk.brics.bisim.model.
Protocol
MESSAGE_ATTACKER_STEP
- Static variable in class dk.brics.bisim.model.
Protocol
MESSAGE_DEFENDER_STEP
- Static variable in class dk.brics.bisim.model.
Protocol
MESSAGE_PASSER_NAME
- Static variable in class dk.brics.bisim.model.
Protocol
The registry name of the message passer object.
MESSAGE_RESET_GAME
- Static variable in class dk.brics.bisim.model.
Protocol
messagePasser
- Variable in class dk.brics.bisim.
BisimulationGame
messagePasser
- Variable in class dk.brics.bisim.controller.
AIAttacker
messagePasser
- Variable in class dk.brics.bisim.controller.
AIDefender
messagePasser
- Variable in class dk.brics.bisim.controller.
GameControllerImpl
MessagePasser
- Interface in
dk.brics.bisim.controller
A global class passing messages between players.
MessagePasserImpl
- Class in
dk.brics.bisim.controller
Implementation of the MessagePasser.
MessagePasserImpl()
- Constructor for class dk.brics.bisim.controller.
MessagePasserImpl
Constructs a message passer with a map of game controllers, identified by their client server role.
model
- Variable in class dk.brics.bisim.controller.
SimulatorController
modifiedInsertIcon()
- Method in class dk.brics.bisim.view.
AboutView
This is a modification of JTextPane.insertIcon where the contents of StyleConstants.setIcon has been modified as suggested in the bug report with ID 4671653 at
http://bugs.sun.com
.
mouseClicked(MouseEvent)
- Method in class dk.brics.bisim.controller.
GameControllerImpl.GameMouseListener
mouseClicked(MouseEvent)
- Method in class dk.brics.bisim.controller.
SimulatorController.SimulatorMouseListener
mouseEntered(MouseEvent)
- Method in class dk.brics.bisim.controller.
GameControllerImpl.GameMouseListener
mouseEntered(MouseEvent)
- Method in class dk.brics.bisim.controller.
SimulatorController.SimulatorMouseListener
mouseExited(MouseEvent)
- Method in class dk.brics.bisim.controller.
GameControllerImpl.GameMouseListener
mouseExited(MouseEvent)
- Method in class dk.brics.bisim.controller.
SimulatorController.SimulatorMouseListener
mouseListener
- Variable in class dk.brics.bisim.controller.
SimulatorController
mousePressed(MouseEvent)
- Method in class dk.brics.bisim.controller.
GameControllerImpl.GameMouseListener
mousePressed(MouseEvent)
- Method in class dk.brics.bisim.controller.
SimulatorController.SimulatorMouseListener
mouseReleased(MouseEvent)
- Method in class dk.brics.bisim.controller.
GameControllerImpl.GameMouseListener
mouseReleased(MouseEvent)
- Method in class dk.brics.bisim.controller.
SimulatorController.SimulatorMouseListener
myRole
- Variable in class dk.brics.bisim.controller.
GameControllerImpl
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