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

S

screenSize - Static variable in class dk.brics.bisim.view.MainView
 
scrollPane - Variable in class dk.brics.bisim.view.HelpView
 
scrollPane - Variable in class dk.brics.bisim.view.LTSPanel
A scroll pane holding a grappa panel.
seenConfigurations - Variable in class dk.brics.bisim.model.GameModel
 
sendButton - Variable in class dk.brics.bisim.view.GameViewUpperPanel
 
sendChatMessage() - Method in class dk.brics.bisim.controller.GameControllerImpl.GameActionListener
 
sendMessage(int, String) - Method in interface dk.brics.bisim.controller.MessagePasser
Used for sending move messages between game controllers.
sendMessage(int, String) - Method in class dk.brics.bisim.controller.MessagePasserImpl
 
sendPanel - Variable in class dk.brics.bisim.view.GameViewUpperPanel
 
sendString - Static variable in class dk.brics.bisim.view.GameViewUpperPanel
 
serialVersionUID - Static variable in class dk.brics.bisim.controller.GameControllerImpl
 
serialVersionUID - Static variable in class dk.brics.bisim.controller.MessagePasserImpl
 
serialVersionUID - Static variable in class dk.brics.bisim.model.GlobalModelImpl
 
serialVersionUID - Static variable in class dk.brics.bisim.view.AboutView
 
serialVersionUID - Static variable in class dk.brics.bisim.view.GameView
 
serialVersionUID - Static variable in class dk.brics.bisim.view.GameViewUpperPanel
 
serialVersionUID - Static variable in class dk.brics.bisim.view.HelpView
 
serialVersionUID - Static variable in class dk.brics.bisim.view.LTSPanel
 
serialVersionUID - Static variable in class dk.brics.bisim.view.MainView
 
serialVersionUID - Static variable in class dk.brics.bisim.view.OptionsView
 
serialVersionUID - Static variable in class dk.brics.bisim.view.SimulatorView
 
SERVER - Static variable in class dk.brics.bisim.model.OptionsModel
 
SERVER_LEFT - Static variable in class dk.brics.bisim.view.Message
 
serverRadioButton - Variable in class dk.brics.bisim.view.OptionsView
 
serverSettingsBorder - Variable in class dk.brics.bisim.view.OptionsView
 
serverSettingsPanel - Variable in class dk.brics.bisim.view.OptionsView
 
serverSettingsString - Static variable in class dk.brics.bisim.view.OptionsView
 
serverString - Static variable in class dk.brics.bisim.view.OptionsView
 
setActions() - Method in class dk.brics.bisim.model.SimulatorModel
 
setAttackerAction(String) - Method in class dk.brics.bisim.model.GameModel
Sets the attackers action
setAttackerSide(int) - Method in class dk.brics.bisim.model.GameModel
Sets the attacker side.
setBisimulationType(int) - Method in class dk.brics.bisim.model.OptionsModel
Set the bisimulation type.
setChatMessage(String) - Method in interface dk.brics.bisim.controller.GameController
Invoked by the message passer when the other player sends a chat message.
setChatMessage(String) - Method in class dk.brics.bisim.controller.GameControllerImpl
 
setClientServer(int) - Method in class dk.brics.bisim.model.OptionsModel
Set the client/server type.
setDimensions() - Method in class dk.brics.bisim.view.MainView
 
setDimensions() - Method in class dk.brics.bisim.view.SimulatorView
 
setDistance(int) - Method in class dk.brics.bisim.equiv.CGNode
 
setGameOver() - Method in class dk.brics.bisim.model.GameModel
Calculates if game is over.
setHost(String) - Method in class dk.brics.bisim.model.OptionsModel
Set the host.
setHostPanelEnabled(boolean) - Method in class dk.brics.bisim.view.OptionsView
Enable/disable components inside the host panel.
setLeftLTSFile(String) - Method in class dk.brics.bisim.model.OptionsModel
Set the left LTS file
setLeftLTSPath(String) - Method in class dk.brics.bisim.model.OptionsModel
Set the path of the left LTS.
setLeftLTSPath(String) - Method in class dk.brics.bisim.view.OptionsView
Set the path to the left LTS.
setPlayers(int) - Method in class dk.brics.bisim.model.OptionsModel
Set the number of players.
setRemotePanelEnabled(boolean) - Method in class dk.brics.bisim.view.OptionsView
Enable/disable text fields and buttons for remote settings.
setRightLTSFile(String) - Method in class dk.brics.bisim.model.OptionsModel
Set the right LTS file.
setRightLTSPath(String) - Method in class dk.brics.bisim.model.OptionsModel
Set the path of the right LTS.
setRightLTSPath(String) - Method in class dk.brics.bisim.view.OptionsView
Set the path to the right LTS.
setRole(int) - Method in class dk.brics.bisim.model.OptionsModel
Set the role.
setRolePanelEnabled(boolean) - Method in class dk.brics.bisim.view.OptionsView
Enable buttons inside role panel.
setTabEnabled(String, boolean) - Method in class dk.brics.bisim.view.OptionsView
Enable/disable a tab in the tabbed pane.
setTitle(String) - Method in class dk.brics.bisim.view.LTSPanel
Set the title of the panel.
setTurn(int) - Method in class dk.brics.bisim.model.GameModel
Sets the turn (attacker/defender)
setupListeners() - Method in class dk.brics.bisim.controller.GameControllerImpl
 
setupListeners() - Method in class dk.brics.bisim.controller.OptionsController
 
setupListeners() - Method in class dk.brics.bisim.controller.SimulatorController
 
showActions() - Method in class dk.brics.bisim.controller.SimulatorController
 
showActions(String) - Method in class dk.brics.bisim.controller.SimulatorController
 
showActions(HashMap<String, String>, HashMap<String, String>, MouseListener) - Method in class dk.brics.bisim.view.SimulatorView
 
showGraph(Graph, GrappaAdapter) - Method in class dk.brics.bisim.view.SimulatorView
 
side - Variable in class dk.brics.bisim.equiv.Strategy
 
SIDE_BOTH - Static variable in class dk.brics.bisim.view.Message
 
SIDE_OTHER - Static variable in class dk.brics.bisim.view.Message
 
SIDE_YOU - Static variable in class dk.brics.bisim.view.Message
 
SimulatorController - Class in dk.brics.bisim.controller
A controller for the CCS Simulator view and model.
SimulatorController(SimulatorView, SimulatorModel, String) - Constructor for class dk.brics.bisim.controller.SimulatorController
 
SimulatorController.SimulatorActionListener - Class in dk.brics.bisim.controller
 
SimulatorController.SimulatorActionListener() - Constructor for class dk.brics.bisim.controller.SimulatorController.SimulatorActionListener
 
SimulatorController.SimulatorMouseListener - Class in dk.brics.bisim.controller
 
SimulatorController.SimulatorMouseListener() - Constructor for class dk.brics.bisim.controller.SimulatorController.SimulatorMouseListener
 
SimulatorModel - Class in dk.brics.bisim.model
A data model for the CCS Simulator.
SimulatorModel(DotModel) - Constructor for class dk.brics.bisim.model.SimulatorModel
 
simulatorView - Variable in class dk.brics.bisim.view.MainView
The CCS simulator view.
SimulatorView - Class in dk.brics.bisim.view
A panel for the CCS Visualizer and Simulator.
SimulatorView(int, int) - Constructor for class dk.brics.bisim.view.SimulatorView
 
simulatorViewString - Static variable in class dk.brics.bisim.view.MainView
 
SPLASH_FILE - Static variable in class dk.brics.bisim.JarResources
Name of the image in the options menu.
startButton - Variable in class dk.brics.bisim.view.OptionsView
 
startGame() - Method in class dk.brics.bisim.BisimulationGame
Invoked by the options controller.
startString - Static variable in class dk.brics.bisim.view.OptionsView
 
StateSpace - Class in dk.brics.bisim.equiv
A representation of all nodes of two LTSs (S,T) partitioned into one or more blocks.
StateSpace(Node, Node, HashMap<Node, ArrayList<Successor>>, HashMap<Node, ArrayList<Successor>>) - Constructor for class dk.brics.bisim.equiv.StateSpace
Constructs a state space based on a successor map, but does not partition it.
stateSpace - Variable in class dk.brics.bisim.model.GameModel
 
statusLabel - Variable in class dk.brics.bisim.view.OptionsView
 
statusPanel - Variable in class dk.brics.bisim.view.OptionsView
 
step() - Method in class dk.brics.bisim.model.LTSModel
 
stepButtonDimension - Variable in class dk.brics.bisim.view.SimulatorView
 
stepButtonPanel - Variable in class dk.brics.bisim.view.SimulatorView
 
stepRandom(HashMap<String, String>) - Method in class dk.brics.bisim.model.SimulatorModel
Performs a randomstep from the actions available in the map.
stepRandomAll() - Method in class dk.brics.bisim.model.SimulatorModel
Choose a random (available) action.
stepRandomInput() - Method in class dk.brics.bisim.model.SimulatorModel
Choose a random (available) input action.
stepRandomOutput() - Method in class dk.brics.bisim.model.SimulatorModel
Choose a random (available) output action.
stepRandomTau() - Method in class dk.brics.bisim.model.SimulatorModel
Choose a random (available) tau action.
stepTo(String) - Method in class dk.brics.bisim.model.LTSModel
Step to a given node in the graph.
stepTo(String, String) - Method in class dk.brics.bisim.model.LTSModel
Step to a given node, and color the edge used.
stepTo(String, String) - Method in class dk.brics.bisim.model.SimulatorModel
Step in the LTS model.
stepToNode(String, String) - Method in class dk.brics.bisim.model.SimulatorModel
Step in the LTS model.
Strategy - Class in dk.brics.bisim.equiv
An attacker strategy.
Strategy(int, String, String) - Constructor for class dk.brics.bisim.equiv.Strategy
Constructs a strategy based on a side, an action, and a target node name.
strongRadioButton - Variable in class dk.brics.bisim.view.OptionsView
 
strongString - Static variable in class dk.brics.bisim.view.OptionsView
 
StrongSuccessor - Class in dk.brics.bisim.equiv
The successor of a node.
StrongSuccessor(String, String, Node) - Constructor for class dk.brics.bisim.equiv.StrongSuccessor
Constructs a strong successor.
STYLE_ACTION - Static variable in class dk.brics.bisim.view.GameView
 
STYLE_COMMAND - Static variable in class dk.brics.bisim.view.GameView
 
STYLE_GAMEOVER - Static variable in class dk.brics.bisim.view.GameView
 
STYLE_STATE - Static variable in class dk.brics.bisim.view.GameView
 
STYLE_STATUS - Static variable in class dk.brics.bisim.view.GameView
 
Successor - Interface in dk.brics.bisim.equiv
Interface of a successor to a node.
successorMap - Variable in class dk.brics.bisim.model.LTSModel
 

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