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

G

GAME_FILE - Static variable in class dk.brics.bisim.JarResources
Name of the image shown in the Help view.
GAME_VIEW_CLIENT - Static variable in class dk.brics.bisim.view.GameView
A client does not have a reset button.
GAME_VIEW_LOCAL - Static variable in class dk.brics.bisim.view.GameView
A local game does not have a chat function.
GAME_VIEW_SERVER - Static variable in class dk.brics.bisim.view.GameView
A server gets both a chat function and a reset button.
gameActionListener - Variable in class dk.brics.bisim.controller.GameControllerImpl
 
gameController - Variable in class dk.brics.bisim.BisimulationGame
 
GameController - Interface in dk.brics.bisim.controller
A local controller listening on view events that may have global effects.
GameControllerImpl - Class in dk.brics.bisim.controller
Implementation of the GameController.
GameControllerImpl(BisimulationGame, GameView, GameModel, int, int, MessagePasser) - Constructor for class dk.brics.bisim.controller.GameControllerImpl
Constructs a game controller.
GameControllerImpl.GameActionListener - Class in dk.brics.bisim.controller
Listen on game view elements with a possible remote effect.
GameControllerImpl.GameActionListener() - Constructor for class dk.brics.bisim.controller.GameControllerImpl.GameActionListener
 
GameControllerImpl.GameGrappaAdapter - Class in dk.brics.bisim.controller
 
GameControllerImpl.GameGrappaAdapter() - Constructor for class dk.brics.bisim.controller.GameControllerImpl.GameGrappaAdapter
 
GameControllerImpl.GameMouseListener - Class in dk.brics.bisim.controller
 
GameControllerImpl.GameMouseListener() - Constructor for class dk.brics.bisim.controller.GameControllerImpl.GameMouseListener
 
gameControllers - Variable in class dk.brics.bisim.controller.MessagePasserImpl
Registrered game controllers.
gameGrappaAdapter - Variable in class dk.brics.bisim.controller.GameControllerImpl
 
gameImage - Variable in class dk.brics.bisim.view.HelpView
 
gameImageIcon - Variable in class dk.brics.bisim.view.HelpView
 
gameModel - Variable in class dk.brics.bisim.BisimulationGame
 
gameModel - Variable in class dk.brics.bisim.controller.AIAttacker
 
gameModel - Variable in class dk.brics.bisim.controller.AIDefender
 
gameModel - Variable in class dk.brics.bisim.controller.GameControllerImpl
 
GameModel - Class in dk.brics.bisim.model
A local game model holding two GrappaModels.
GameModel(String, String) - Constructor for class dk.brics.bisim.model.GameModel
 
gameMouseListener - Variable in class dk.brics.bisim.controller.GameControllerImpl
 
gameOver - Variable in class dk.brics.bisim.model.GameModel
 
gameTypePanel - Variable in class dk.brics.bisim.view.OptionsView
 
gameTypeString - Static variable in class dk.brics.bisim.view.OptionsView
 
gameView - Variable in class dk.brics.bisim.BisimulationGame
 
gameView - Variable in class dk.brics.bisim.controller.GameControllerImpl
 
GameView - Class in dk.brics.bisim.view
The game view.
GameView(int, int) - Constructor for class dk.brics.bisim.view.GameView
Constructs a game view but does not construct the lower panel.
gameView - Variable in class dk.brics.bisim.view.MainView
The game view.
gameViewString - Static variable in class dk.brics.bisim.view.MainView
Game view tab title.
gameViewType - Variable in class dk.brics.bisim.view.GameViewUpperPanel
 
GameViewUpperPanel - Class in dk.brics.bisim.view
The lower panel of a game view.
GameViewUpperPanel(int, int, int) - Constructor for class dk.brics.bisim.view.GameViewUpperPanel
Constructs a lower panel based on a game type.
getAction() - Method in class dk.brics.bisim.equiv.Strategy
 
getAnyNode(String, int, StateSpace) - Method in class dk.brics.bisim.controller.AIDefender
Get any node which is the head of an edge from our current node, such that the edge label equals the attacker's action.
getAttackerAction() - Method in class dk.brics.bisim.model.GameModel
 
getAttackerSide() - Method in class dk.brics.bisim.model.GameModel
 
getBisimulation() - Method in interface dk.brics.bisim.model.GlobalModel
 
getBisimulation() - Method in class dk.brics.bisim.model.GlobalModelImpl
 
getBisimulationType() - Method in class dk.brics.bisim.model.OptionsModel
 
getBlockByNumber(int) - Method in class dk.brics.bisim.equiv.StateSpace
 
getBlockNumber() - Method in class dk.brics.bisim.equiv.Block
Returns the number of this block.
getBlockNumber() - Method in class dk.brics.bisim.equiv.Capability
Returns the block number.
getBlockNumber(Node) - Method in class dk.brics.bisim.equiv.StateSpace
Returns the block number of a node.
getButtons() - Method in class dk.brics.bisim.view.GameViewUpperPanel
Purpose: To return all buttons that need a remote action listener.
getButtons() - Method in class dk.brics.bisim.view.OptionsView
Purpose: To return all buttons that need an action listener.
getButtons() - Method in class dk.brics.bisim.view.SimulatorView
 
getChatMessageLabel() - Method in class dk.brics.bisim.view.GameViewUpperPanel
 
getChoices(int, Node, String) - Method in class dk.brics.bisim.equiv.StateSpace
Find all nodes that are head of an edge with label=action and which has tail=from.
getClientServer() - Method in class dk.brics.bisim.model.OptionsModel
 
getConfigurationGraph() - Method in class dk.brics.bisim.model.GameModel
 
getCurrentNode() - Method in class dk.brics.bisim.model.LTSModel
 
getCurrentSuccessors() - Method in class dk.brics.bisim.model.LTSModel
 
getDescription() - Method in class dk.brics.bisim.view.GraphFileFilter
 
getDistance() - Method in class dk.brics.bisim.equiv.CGNode
 
getDotFromGraph(String) - Method in class dk.brics.bisim.model.DotModel
From a file containing graph output from The Edinburgh CWB, a dot graph is constructed.
getDotPath() - Method in class dk.brics.bisim.model.UserProperties
 
getDynamicStrategy() - Method in class dk.brics.bisim.controller.AIAttacker
Create a dynamic strategy.
getEdgeAction(Edge) - Method in class dk.brics.bisim.model.LTSModel
Called when an edge has been clicked by the attacker and returns action name.
getEdgeLabel() - Method in class dk.brics.bisim.equiv.AbstractSuccessor
 
getEdgeLabel() - Method in interface dk.brics.bisim.equiv.Successor
 
getEdgeNames() - Method in class dk.brics.bisim.equiv.StrongSuccessor
 
getEdgeNames() - Method in interface dk.brics.bisim.equiv.Successor
 
getEdgeNames() - Method in class dk.brics.bisim.equiv.WeakSuccessor
 
getExtension(File) - Static method in class dk.brics.bisim.view.GraphFileFilter
 
getGameView(int) - Method in class dk.brics.bisim.view.MainView
Creates a lower panel in the game view and returns the game view.
getGraph() - Method in class dk.brics.bisim.model.LTSModel
 
getGrappaPanel() - Method in class dk.brics.bisim.view.LTSPanel
 
getHeadId() - Method in class dk.brics.bisim.equiv.CGEdge
Returns the ID of the head node.
getHost() - Method in class dk.brics.bisim.model.OptionsModel
 
getId() - Method in class dk.brics.bisim.equiv.CGNode
Returns the ID.
getInfiniteGameOver() - Method in class dk.brics.bisim.model.GameModel
 
getInitialNode() - Method in class dk.brics.bisim.model.LTSModel
 
getInitialNodeLeft() - Method in class dk.brics.bisim.equiv.StateSpace
Returns the initial node of the left LTS
getInitialNodeRight() - Method in class dk.brics.bisim.equiv.StateSpace
Returns the initial node of the right LTS
getInputActions() - Method in class dk.brics.bisim.model.SimulatorModel
 
getLeft() - Method in class dk.brics.bisim.equiv.CGNode
Returns the left node.
getLeftAction() - Method in class dk.brics.bisim.equiv.CGEdge
Returns the left action name.
getLeftFile() - Method in interface dk.brics.bisim.model.GlobalModel
 
getLeftFile() - Method in class dk.brics.bisim.model.GlobalModelImpl
 
getLeftGraphAsDot() - Method in interface dk.brics.bisim.model.GlobalModel
 
getLeftGraphAsDot() - Method in class dk.brics.bisim.model.GlobalModelImpl
 
getLeftLTSFile() - Method in class dk.brics.bisim.model.OptionsModel
 
getLeftLTSModel() - Method in class dk.brics.bisim.model.GameModel
 
getLeftLTSPanel() - Method in class dk.brics.bisim.view.GameView
 
getLeftLTSPath() - Method in class dk.brics.bisim.model.OptionsModel
 
getLeftNodeName() - Method in class dk.brics.bisim.equiv.CGEdge
Returns the left node name.
getLowerPanel() - Method in class dk.brics.bisim.view.GameView
 
getLTSModel() - Method in class dk.brics.bisim.model.SimulatorModel
 
getMatchingEdgeAction(Edge, String) - Method in class dk.brics.bisim.model.LTSModel
Called when an edge has been clicked by the defender.
getMatchingNodeAction(Node, String) - Method in class dk.brics.bisim.model.LTSModel
Called when a node has been clicked by the defender.
getNode(int) - Method in class dk.brics.bisim.equiv.ConfigurationGraph
 
getNode(Node, Node) - Method in class dk.brics.bisim.equiv.ConfigurationGraph
Test if there already exists a CGNode with these left and right nodes.
getNodeCapability(Node) - Method in class dk.brics.bisim.equiv.StateSpace
Retrieve the capability of a node.
getNodeInBlock(int, Node, String, int) - Method in class dk.brics.bisim.equiv.StateSpace
Find a node that is head of an edge with label=action and which has tail=from, such that the node is in the block with number=blockNumber.
getNodes() - Method in class dk.brics.bisim.equiv.Block
Returns the nodes in this block.
getNumberOfStrongChoices() - Method in class dk.brics.bisim.model.LTSModel
Return the number of outgoing edges from the current node.
getOptionsView() - Method in class dk.brics.bisim.view.MainView
 
getOutEdges(CGNode) - Method in class dk.brics.bisim.equiv.ConfigurationGraph
Returns all out-edges of a node.
getOutputActions() - Method in class dk.brics.bisim.model.SimulatorModel
 
getPerfectNode(String, int, StateSpace) - Method in class dk.brics.bisim.controller.AIDefender
Find a perfect node in the state space, i.e. a node which resides in the same block as the current node on the attacker's side.
getPlayers() - Method in class dk.brics.bisim.model.OptionsModel
 
getProperInEdges(CGNode) - Method in class dk.brics.bisim.equiv.ConfigurationGraph
Used for computing an attacker strategy.
getResource(String, String) - Static method in class dk.brics.bisim.JarResources
Tries to open a jar file, extract a given resource and return the resource data as a byte array.
getRight() - Method in class dk.brics.bisim.equiv.CGNode
Returns the right node.
getRightAction() - Method in class dk.brics.bisim.equiv.CGEdge
Returns the right action name.
getRightFile() - Method in interface dk.brics.bisim.model.GlobalModel
 
getRightFile() - Method in class dk.brics.bisim.model.GlobalModelImpl
 
getRightGraphAsDot() - Method in interface dk.brics.bisim.model.GlobalModel
 
getRightGraphAsDot() - Method in class dk.brics.bisim.model.GlobalModelImpl
 
getRightLTSFile() - Method in class dk.brics.bisim.model.OptionsModel
 
getRightLTSModel() - Method in class dk.brics.bisim.model.GameModel
 
getRightLTSPanel() - Method in class dk.brics.bisim.view.GameView
 
getRightLTSPath() - Method in class dk.brics.bisim.model.OptionsModel
 
getRightNodeName() - Method in class dk.brics.bisim.equiv.CGEdge
Returns the right node name.
getRole() - Method in interface dk.brics.bisim.model.GlobalModel
 
getRole() - Method in class dk.brics.bisim.model.GlobalModelImpl
 
getRole() - Method in class dk.brics.bisim.model.OptionsModel
 
getScrollPane() - Method in class dk.brics.bisim.view.LTSPanel
 
getSide() - Method in class dk.brics.bisim.equiv.Strategy
 
getSimulatorView() - Method in class dk.brics.bisim.view.MainView
 
getStateSpace() - Method in class dk.brics.bisim.model.GameModel
 
getStrategy() - Method in class dk.brics.bisim.controller.AIAttacker
Returns the strategy at the current node pair.
getStrongChoices() - Method in class dk.brics.bisim.model.LTSModel
Used by an attacker to get all choices from the current node that are not weak.
getStrongSuccessorMap() - Method in class dk.brics.bisim.model.LTSModel
Makes a map from each node to its direct successors.
getSuccessorMap() - Method in class dk.brics.bisim.model.LTSModel
 
getSuspiciousNodes() - Method in class dk.brics.bisim.equiv.ConfigurationGraph
Used by a defender to get the set of nodes which have edges to the accept node.
getTailId() - Method in class dk.brics.bisim.equiv.CGEdge
Returns the ID of the tail node.
getTailNodes(CGNode) - Method in class dk.brics.bisim.equiv.ConfigurationGraph
 
getTargetNodeName() - Method in class dk.brics.bisim.equiv.Strategy
 
getTextFields() - Method in class dk.brics.bisim.view.GameViewUpperPanel
Purpose: To return all text fields that need an action listener.
getTextFields() - Method in class dk.brics.bisim.view.OptionsView
Purpose: To return all text fields that need an action listener.
getToNode() - Method in class dk.brics.bisim.equiv.AbstractSuccessor
 
getToNode() - Method in interface dk.brics.bisim.equiv.Successor
 
getTurn() - Method in class dk.brics.bisim.model.GameModel
 
getUniqueNodeAction(Node) - Method in class dk.brics.bisim.model.LTSModel
Called when a node has been clicked by the attacker.
getWeakSuccessorMap() - Method in class dk.brics.bisim.model.LTSModel
Makes a map from each node to its weak successors.
GLOBAL_MODEL_NAME - Static variable in class dk.brics.bisim.model.Protocol
The registry name of the global model object.
globalModel - Variable in class dk.brics.bisim.BisimulationGame
 
GlobalModel - Interface in dk.brics.bisim.model
The remote interface of a global model.
GlobalModelImpl - Class in dk.brics.bisim.model
Implementation of the GlobalModel.
GlobalModelImpl(String, String, String, String, int, int, DotModel) - Constructor for class dk.brics.bisim.model.GlobalModelImpl
Constructs a global model.
gp - Variable in class dk.brics.bisim.view.SimulatorView
 
graph - Variable in class dk.brics.bisim.model.LTSModel
 
GRAPH - Static variable in class dk.brics.bisim.view.GraphFileFilter
 
graphDimension - Variable in class dk.brics.bisim.view.GameView
 
graphDimension - Variable in class dk.brics.bisim.view.SimulatorView
 
GraphFileFilter - Class in dk.brics.bisim.view
A file filter for the extension .graph
GraphFileFilter() - Constructor for class dk.brics.bisim.view.GraphFileFilter
 
graphScrollPane - Variable in class dk.brics.bisim.view.SimulatorView
 
grappaClicked(Subgraph, Element, GrappaPoint, int, int, GrappaPanel) - Method in class dk.brics.bisim.controller.GameControllerImpl.GameGrappaAdapter
GrappaAdapter methods for handling mouse events on the graph
grappaClicked(Subgraph, Element, GrappaPoint, int, int, GrappaPanel) - Method in class dk.brics.bisim.controller.SimulatorController
GrappaAdapter methods for handling mouse events on the graph
grappaDragged(Subgraph, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in class dk.brics.bisim.controller.GameControllerImpl.GameGrappaAdapter
 
grappaDragged(Subgraph, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in class dk.brics.bisim.controller.SimulatorController
 
grappaPanel - Variable in class dk.brics.bisim.view.LTSPanel
A grappa panel displaying a graph.
grappaPressed(Subgraph, Element, GrappaPoint, int, GrappaPanel) - Method in class dk.brics.bisim.controller.GameControllerImpl.GameGrappaAdapter
 
grappaPressed(Subgraph, Element, GrappaPoint, int, GrappaPanel) - Method in class dk.brics.bisim.controller.SimulatorController
 
grappaReleased(Subgraph, Element, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in class dk.brics.bisim.controller.GameControllerImpl.GameGrappaAdapter
 
grappaReleased(Subgraph, Element, GrappaPoint, int, Element, GrappaPoint, int, GrappaBox, GrappaPanel) - Method in class dk.brics.bisim.controller.SimulatorController
 

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