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

R

randomButton - Variable in class dk.brics.bisim.view.SimulatorView
 
readUserProperties() - Method in class dk.brics.bisim.model.UserProperties
Reads properties from the file properties.txt if it exists in the current directory.
reg - Variable in class dk.brics.bisim.BisimulationGame
Remote object registry: Used in 2p remote games .
registerGameController(GameController, int) - Method in interface dk.brics.bisim.controller.MessagePasser
Registers a local game controller, such that it may receive messages.
registerGameController(GameController, int) - Method in class dk.brics.bisim.controller.MessagePasserImpl
 
reset() - Method in class dk.brics.bisim.controller.SimulatorController
 
reset() - Method in class dk.brics.bisim.model.GameModel
Reset LTS models.
reset() - Method in class dk.brics.bisim.model.LTSModel
Reset the displayed automaton to its initial state.
reset() - Method in class dk.brics.bisim.model.SimulatorModel
Reset the simulator model and its underlying LTS model.
resetBorder() - Method in class dk.brics.bisim.view.LTSPanel
Reset border color to light gray.
resetButton - Variable in class dk.brics.bisim.view.SimulatorView
 
resetCurrentEdges() - Method in class dk.brics.bisim.model.LTSModel
Reset current edges to default color (black).
resetGame() - Method in class dk.brics.bisim.controller.GameControllerImpl
 
resetGameButton - Variable in class dk.brics.bisim.view.GameViewUpperPanel
 
resetGameString - Static variable in class dk.brics.bisim.view.GameViewUpperPanel
 
resetInputActions(int) - Method in class dk.brics.bisim.view.SimulatorView
 
resetOutputActions(int) - Method in class dk.brics.bisim.view.SimulatorView
 
resetSeenConfigurations() - Method in class dk.brics.bisim.model.GameModel
Reset the set of seen configurations and add the initial configuration.
resetTrace() - Method in class dk.brics.bisim.view.GameView
Clear the text in the trace scroll pane.
resetTrace() - Method in class dk.brics.bisim.view.SimulatorView
 
right - Variable in class dk.brics.bisim.equiv.CGNode
 
RIGHT_SIDE - Static variable in class dk.brics.bisim.model.GameModel
 
RIGHT_SIDE - Static variable in class dk.brics.bisim.view.Message
 
rightAction - Variable in class dk.brics.bisim.equiv.CGEdge
 
rightFile - Variable in class dk.brics.bisim.model.GlobalModelImpl
 
rightGraphAsDot - Variable in class dk.brics.bisim.model.GlobalModelImpl
 
rightLTSBrowseButton - Variable in class dk.brics.bisim.view.OptionsView
 
rightLTSFile - Variable in class dk.brics.bisim.model.OptionsModel
 
rightLTSLabel - Variable in class dk.brics.bisim.view.OptionsView
 
rightLTSModel - Variable in class dk.brics.bisim.model.GameModel
 
rightLTSPanel - Variable in class dk.brics.bisim.view.GameView
A panel for the right LTS.
rightLTSPanel - Variable in class dk.brics.bisim.view.OptionsView
 
rightLTSPath - Variable in class dk.brics.bisim.model.OptionsModel
 
rightLTSString - Static variable in class dk.brics.bisim.view.OptionsView
 
rightLTSTextField - Variable in class dk.brics.bisim.view.OptionsView
 
rightNodeName - Variable in class dk.brics.bisim.equiv.CGEdge
 
rightSuccessorMap - Variable in class dk.brics.bisim.equiv.StateSpace
 
role - Variable in class dk.brics.bisim.BisimulationGame
 
role - Variable in class dk.brics.bisim.model.GlobalModelImpl
 
role - Variable in class dk.brics.bisim.model.OptionsModel
 
roleBorder - Variable in class dk.brics.bisim.view.OptionsView
 
roleButtonGroup - Variable in class dk.brics.bisim.view.OptionsView
 
rolePanel - Variable in class dk.brics.bisim.view.OptionsView
 
roleString - Static variable in class dk.brics.bisim.view.OptionsView
 
ROUND - Static variable in class dk.brics.bisim.view.Message
 
roundNumber - Variable in class dk.brics.bisim.model.GameModel
 
run() - Method in class dk.brics.bisim.controller.AIAttacker
 
run() - Method in class dk.brics.bisim.controller.AIDefender
 

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