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
 

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