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

T

tabbedPane - Variable in class dk.brics.bisim.view.MainView
The tabbed pane holding an options view and a game view.
tabbedPane - Variable in class dk.brics.bisim.view.OptionsView
The tabbed pane to the right.
tailId - Variable in class dk.brics.bisim.equiv.CGEdge
 
talk(int, String) - Method in interface dk.brics.bisim.controller.MessagePasser
Used for sending chat messages to the other player.
talk(int, String) - Method in class dk.brics.bisim.controller.MessagePasserImpl
 
targetNodeName - Variable in class dk.brics.bisim.equiv.Strategy
 
tauActions - Variable in class dk.brics.bisim.model.SimulatorModel
Tau actions are saved by name (label is always 'tau').
tauButton - Variable in class dk.brics.bisim.view.SimulatorView
 
textPane - Variable in class dk.brics.bisim.view.AboutView
 
textPane - Variable in class dk.brics.bisim.view.HelpView
 
title - Variable in class dk.brics.bisim.view.LTSPanel
The title of the border.
TITLE - Static variable in class dk.brics.bisim.view.MainView
Main window title.
titledBorder - Variable in class dk.brics.bisim.view.LTSPanel
The titled border.
toggleBorder() - Method in class dk.brics.bisim.view.LTSPanel
Toggle border color (red / light gray).
toNode - Variable in class dk.brics.bisim.equiv.AbstractSuccessor
 
toNode - Variable in class dk.brics.bisim.model.LTSModel
 
toString() - Method in class dk.brics.bisim.equiv.Block
 
toString() - Method in class dk.brics.bisim.equiv.Capability
 
toString() - Method in class dk.brics.bisim.equiv.CGEdge
 
toString() - Method in class dk.brics.bisim.equiv.CGNode
 
toString() - Method in class dk.brics.bisim.equiv.ConfigurationGraph
 
toString() - Method in class dk.brics.bisim.equiv.StateSpace
 
toString() - Method in class dk.brics.bisim.equiv.Strategy
 
toString() - Method in class dk.brics.bisim.equiv.StrongSuccessor
 
toString() - Method in class dk.brics.bisim.equiv.WeakSuccessor
 
trace - Variable in class dk.brics.bisim.view.GameView
A text pane inside the trace scroll pane.
trace - Variable in class dk.brics.bisim.view.SimulatorView
 
traceDimension - Variable in class dk.brics.bisim.view.GameView
 
traceDimension - Variable in class dk.brics.bisim.view.SimulatorView
 
traceScrollPane - Variable in class dk.brics.bisim.view.GameView
A scroll pane for the trace.
traceScrollPane - Variable in class dk.brics.bisim.view.SimulatorView
 
turn - Variable in class dk.brics.bisim.model.GameModel
 
TURN_ATTACKER_1 - Static variable in class dk.brics.bisim.model.GameModel
 
TURN_ATTACKER_2 - Static variable in class dk.brics.bisim.model.GameModel
 
TURN_DEFENDER - Static variable in class dk.brics.bisim.model.GameModel
 
TWO_PLAYER_LOCAL - Static variable in class dk.brics.bisim.model.OptionsModel
 
TWO_PLAYER_REMOTE - Static variable in class dk.brics.bisim.model.OptionsModel
 
twoPlayerLocalRadioButton - Variable in class dk.brics.bisim.view.OptionsView
 
twoPlayerLocalString - Static variable in class dk.brics.bisim.view.OptionsView
 
twoPlayerRemoteRadioButton - Variable in class dk.brics.bisim.view.OptionsView
 
twoPlayerRemoteString - Static variable in class dk.brics.bisim.view.OptionsView
 

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