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
 

A B C D E F G H I J K L M N O P Q R S T U V W Y