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

B

bisimulation - Variable in class dk.brics.bisim.BisimulationGame
 
bisimulation - Variable in class dk.brics.bisim.model.GlobalModelImpl
 
BISIMULATION_STRONG - Static variable in class dk.brics.bisim.model.OptionsModel
 
BISIMULATION_WEAK - Static variable in class dk.brics.bisim.model.OptionsModel
 
bisimulationButtonGroup - Variable in class dk.brics.bisim.view.OptionsView
 
BisimulationGame - Class in dk.brics.bisim
The main class of the application.
BisimulationGame() - Constructor for class dk.brics.bisim.BisimulationGame
Starts a bisimulation game, and shows the options view.
bisimulationPanel - Variable in class dk.brics.bisim.view.OptionsView
 
bisimulationString - Static variable in class dk.brics.bisim.view.OptionsView
 
bisimulationType - Variable in class dk.brics.bisim.model.OptionsModel
 
Block - Class in dk.brics.bisim.equiv
A partition in a state space.
Block(Set<Node>, int) - Constructor for class dk.brics.bisim.equiv.Block
Constructs a block holding a set of nodes and identified by a block number.
blockNumber - Variable in class dk.brics.bisim.equiv.Block
 
blockNumber - Variable in class dk.brics.bisim.equiv.Capability
 
blocks - Variable in class dk.brics.bisim.equiv.StateSpace
Blocks making up the partition.
borderIsRed - Variable in class dk.brics.bisim.view.LTSPanel
Whether or not the border is red.
BOTH - Static variable in class dk.brics.bisim.model.OptionsModel
 
browseString - Static variable in class dk.brics.bisim.view.OptionsView
 
build(StateSpace) - Method in class dk.brics.bisim.equiv.ConfigurationGraph
Builds a graph from a state space.
buildPerfectAttackerStrategy() - Method in class dk.brics.bisim.equiv.ConfigurationGraph
Computes a strategy for the attacker.
buildStateSpace() - Method in class dk.brics.bisim.model.GameModel
Create a state space, partition it, and create a corresponding configuration graph.
buttonPanel - Variable in class dk.brics.bisim.view.GameViewUpperPanel
The button panel to the right, holding the reset and quit buttons.
buttonPanel - Variable in class dk.brics.bisim.view.OptionsView
 
buttonPanel - Variable in class dk.brics.bisim.view.SimulatorView
 

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