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
 

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