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
C
Capability
- Class in
dk.brics.bisim.equiv
The capability of a node.
Capability(String, Node, boolean, int)
- Constructor for class dk.brics.bisim.equiv.
Capability
Constructs a capability for a node.
capabilityMap
- Variable in class dk.brics.bisim.equiv.
StateSpace
A map from nodes to their capabilities.
CGEdge
- Class in
dk.brics.bisim.equiv
An edge in a configuration graph.
CGEdge(int, int, String, String, String, String)
- Constructor for class dk.brics.bisim.equiv.
CGEdge
Invoked when an edge to the accept node is created; then neither part is weak.
CGEdge(int, int, String, String, boolean, String, String, boolean)
- Constructor for class dk.brics.bisim.equiv.
CGEdge
Constructs a configuration graph edge, in which left and right sides may be weak.
CGNode
- Class in
dk.brics.bisim.equiv
A node in a configuration graph.
CGNode(int)
- Constructor for class dk.brics.bisim.equiv.
CGNode
Used for creating the accept node.
CGNode(Node, Node, int)
- Constructor for class dk.brics.bisim.equiv.
CGNode
Constructs a configuration.
chatMessageLabel
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
chatPanel
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
The chat panel.
chatString
- Static variable in class dk.brics.bisim.view.
GameViewUpperPanel
chatTextField
- Variable in class dk.brics.bisim.view.
GameViewUpperPanel
chatTextFieldSize
- Static variable in class dk.brics.bisim.view.
GameViewUpperPanel
checkBlock(Block)
- Method in class dk.brics.bisim.equiv.
StateSpace
Checks if all nodes in a block have equal capabilities.
checkProperties()
- Method in class dk.brics.bisim.controller.
OptionsController
checkRole()
- Method in class dk.brics.bisim.model.
OptionsModel
This is a hack to ensure that a two player local game gets role=both.
CHOOSE_BISIMULATION
- Static variable in class dk.brics.bisim.model.
OptionsModel
CHOOSE_CLIENT_SERVER
- Static variable in class dk.brics.bisim.model.
OptionsModel
CHOOSE_HOST
- Static variable in class dk.brics.bisim.model.
OptionsModel
CHOOSE_LEFT_LTS
- Static variable in class dk.brics.bisim.model.
OptionsModel
CHOOSE_PLAYERS
- Static variable in class dk.brics.bisim.model.
OptionsModel
CHOOSE_RIGHT_LTS
- Static variable in class dk.brics.bisim.model.
OptionsModel
CHOOSE_ROLE
- Static variable in class dk.brics.bisim.model.
OptionsModel
chooseLTS()
- Method in class dk.brics.bisim.view.
OptionsView
Open a file chooser and return the file path.
chooseRandomSide()
- Method in class dk.brics.bisim.controller.
AIAttacker
Choose a random side.
chooseSide()
- Method in class dk.brics.bisim.controller.
AIAttacker
Choose a side based on the number of choices on either side.
CLIENT
- Static variable in class dk.brics.bisim.model.
OptionsModel
CLIENT_LEFT
- Static variable in class dk.brics.bisim.view.
Message
clientRadioButton
- Variable in class dk.brics.bisim.view.
OptionsView
clientServer
- Variable in class dk.brics.bisim.model.
OptionsModel
clientServerBorder
- Variable in class dk.brics.bisim.view.
OptionsView
clientServerButtonGroup
- Variable in class dk.brics.bisim.view.
OptionsView
clientServerPanel
- Variable in class dk.brics.bisim.view.
OptionsView
clientServerRole
- Variable in class dk.brics.bisim.
BisimulationGame
clientServerRole
- Variable in class dk.brics.bisim.controller.
GameControllerImpl
clientServerString
- Static variable in class dk.brics.bisim.view.
OptionsView
clientString
- Static variable in class dk.brics.bisim.view.
OptionsView
computeNodeCapability(Node)
- Method in class dk.brics.bisim.equiv.
StateSpace
Lookup if the capability has already been computed.
CONFIGURATION
- Static variable in class dk.brics.bisim.view.
Message
ConfigurationGraph
- Class in
dk.brics.bisim.equiv
A graph representation of the possible combinations of states from two LTSs (S,T).
ConfigurationGraph(StateSpace)
- Constructor for class dk.brics.bisim.equiv.
ConfigurationGraph
Constructs a graph from a state space.
configurationGraph
- Variable in class dk.brics.bisim.model.
GameModel
contentPane
- Variable in class dk.brics.bisim.view.
MainView
controller
- Variable in class dk.brics.bisim.controller.
GameControllerImpl
controller
- Variable in class dk.brics.bisim.controller.
OptionsController
COUNTERMOVE_BOTH
- Static variable in class dk.brics.bisim.view.
Message
COUNTERMOVE_OTHER
- Static variable in class dk.brics.bisim.view.
Message
COUNTERMOVE_YOU
- Static variable in class dk.brics.bisim.view.
Message
create()
- Method in class dk.brics.bisim.view.
MainView
createActionPanel()
- Method in class dk.brics.bisim.view.
SimulatorView
createAndShow()
- Method in class dk.brics.bisim.view.
SimulatorView
createBisimulationPanel()
- Method in class dk.brics.bisim.view.
OptionsView
createBlock(Set<Node>)
- Method in class dk.brics.bisim.equiv.
StateSpace
Creates a block with running block number and a set of nodes, adds the block to the block ArrayList, and increments running block number.
createGameTypePanel()
- Method in class dk.brics.bisim.view.
OptionsView
createImagePanel()
- Method in class dk.brics.bisim.view.
OptionsView
createImages()
- Method in class dk.brics.bisim.view.
GameView
Load gif images from the jar file.
createLowerButtons()
- Method in class dk.brics.bisim.view.
SimulatorView
createLowerPanel()
- Method in class dk.brics.bisim.view.
OptionsView
createLTS(String, String, String)
- Method in class dk.brics.bisim.model.
SimulatorModel
createLTSPanel()
- Method in class dk.brics.bisim.view.
OptionsView
createTabbedPane()
- Method in class dk.brics.bisim.view.
OptionsView
createUpperPanel(int)
- Method in class dk.brics.bisim.view.
GameView
Creates the lower panel of a game view, based on game options
currentDir
- Variable in class dk.brics.bisim.view.
OptionsView
currentDir
- Variable in class dk.brics.bisim.view.
SimulatorView
currentEdges
- Variable in class dk.brics.bisim.model.
LTSModel
currentNode
- Variable in class dk.brics.bisim.model.
LTSModel
currentStrategy
- Variable in class dk.brics.bisim.controller.
AIAttacker
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