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
A
ABOUT_URL
- Static variable in class dk.brics.bisim.
JarResources
Name of the HTML file displayed in the About view.
AboutView
- Class in
dk.brics.bisim.view
A panel displaying information and acknowledgements.
AboutView(int, int)
- Constructor for class dk.brics.bisim.view.
AboutView
aboutView
- Variable in class dk.brics.bisim.view.
MainView
The about page.
aboutViewString
- Static variable in class dk.brics.bisim.view.
MainView
About page tab title.
AbstractSuccessor
- Class in
dk.brics.bisim.equiv
An abstract successor represents an outgoing edge and a to-node.
AbstractSuccessor(String, Node, boolean)
- Constructor for class dk.brics.bisim.equiv.
AbstractSuccessor
Constructs an abstract successor and sets the fields.
accept
- Variable in class dk.brics.bisim.equiv.
ConfigurationGraph
The accept node marks a winning configuration for the attacker, i.e. one where the attacker has taken a step that can't be mimicked by the defender.
accept(File)
- Method in class dk.brics.bisim.view.
GraphFileFilter
action
- Variable in class dk.brics.bisim.equiv.
Strategy
ACTION_BOTH
- Static variable in class dk.brics.bisim.view.
Message
ACTION_OTHER
- Static variable in class dk.brics.bisim.view.
Message
ACTION_YOU
- Static variable in class dk.brics.bisim.view.
Message
actionDimension
- Variable in class dk.brics.bisim.view.
SimulatorView
actionListener
- Variable in class dk.brics.bisim.controller.
SimulatorController
actionPanel
- Variable in class dk.brics.bisim.view.
SimulatorView
actionPerformed(ActionEvent)
- Method in class dk.brics.bisim.controller.
GameControllerImpl.GameActionListener
actionPerformed(ActionEvent)
- Method in class dk.brics.bisim.controller.
OptionsController.OptionsActionListener
actionPerformed(ActionEvent)
- Method in class dk.brics.bisim.controller.
SimulatorController.SimulatorActionListener
addEdgeNames(ArrayList<String>)
- Method in class dk.brics.bisim.equiv.
WeakSuccessor
ai
- Variable in class dk.brics.bisim.
BisimulationGame
Thread for a computer player.
AI
- Interface in
dk.brics.bisim.controller
Interface for computer players.
AI_SLEEP
- Static variable in interface dk.brics.bisim.controller.
AI
A fixed amount of milliseconds to sleep before making a move.
AIAttacker
- Class in
dk.brics.bisim.controller
A computer player with the attacker role.
AIAttacker(GameModel, MessagePasser)
- Constructor for class dk.brics.bisim.controller.
AIAttacker
Constructs an attacker and builds a strategy for it.
AIDefender
- Class in
dk.brics.bisim.controller
A computer player with the defender role.
AIDefender(GameModel, MessagePasser)
- Constructor for class dk.brics.bisim.controller.
AIDefender
Create a defender and, if there isn't a winning strategy, annotate configurations with distances to the losing configuration.
alive
- Variable in class dk.brics.bisim.controller.
AIAttacker
alive
- Variable in class dk.brics.bisim.controller.
AIDefender
allActions
- Variable in class dk.brics.bisim.model.
SimulatorModel
ALREADY_SEEN
- Static variable in class dk.brics.bisim.view.
Message
annotateNodes()
- Method in class dk.brics.bisim.equiv.
ConfigurationGraph
Annotate nodes with a distance to the accept node.
applyButton
- Variable in class dk.brics.bisim.view.
OptionsView
applyString
- Static variable in class dk.brics.bisim.view.
OptionsView
ATTACKER
- Static variable in class dk.brics.bisim.model.
OptionsModel
ATTACKER_WINS
- Static variable in class dk.brics.bisim.view.
Message
attackerAction
- Variable in class dk.brics.bisim.model.
GameModel
attackerChoseSide()
- Method in class dk.brics.bisim.controller.
AIAttacker
Look up the side in the current strategy and send a message to the message passer.
attackerChoseSide(int, String)
- Method in class dk.brics.bisim.controller.
GameControllerImpl
attackerRadioButton
- Variable in class dk.brics.bisim.view.
OptionsView
attackerSide
- Variable in class dk.brics.bisim.model.
GameModel
attackerStep()
- Method in class dk.brics.bisim.controller.
AIAttacker
Look up the current strategy and send a message to the message passer.
attackerStep(String, String, String)
- Method in class dk.brics.bisim.controller.
GameControllerImpl
attackerString
- 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