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