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
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
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