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

L

layoutGraph(String) - Method in class dk.brics.bisim.model.LTSModel
Attempts to layout a graph using the Graphviz dot program.
left - Variable in class dk.brics.bisim.equiv.CGNode
 
LEFT_SIDE - Static variable in class dk.brics.bisim.model.GameModel
 
LEFT_SIDE - Static variable in class dk.brics.bisim.view.Message
 
leftAction - Variable in class dk.brics.bisim.equiv.CGEdge
 
leftFile - Variable in class dk.brics.bisim.model.GlobalModelImpl
 
leftGraphAsDot - Variable in class dk.brics.bisim.model.GlobalModelImpl
 
leftLTSBrowseButton - Variable in class dk.brics.bisim.view.OptionsView
 
leftLTSFile - Variable in class dk.brics.bisim.model.OptionsModel
 
leftLTSLabel - Variable in class dk.brics.bisim.view.OptionsView
 
leftLTSModel - Variable in class dk.brics.bisim.model.GameModel
 
leftLTSPanel - Variable in class dk.brics.bisim.view.GameView
A panel for the left LTS.
leftLTSPanel - Variable in class dk.brics.bisim.view.OptionsView
 
leftLTSPath - Variable in class dk.brics.bisim.model.OptionsModel
 
leftLTSString - Static variable in class dk.brics.bisim.view.OptionsView
 
leftLTSTextField - Variable in class dk.brics.bisim.view.OptionsView
 
leftNodeName - Variable in class dk.brics.bisim.equiv.CGEdge
 
leftSuccessorMap - Variable in class dk.brics.bisim.equiv.StateSpace
 
lineBorder - Variable in class dk.brics.bisim.view.LTSPanel
The line border of the titled border.
LOCAL - Static variable in class dk.brics.bisim.model.OptionsModel
 
logoLabel - Variable in class dk.brics.bisim.view.GameViewUpperPanel
 
logoPanel - Variable in class dk.brics.bisim.view.GameViewUpperPanel
 
lonely - Variable in class dk.brics.bisim.controller.GameControllerImpl
 
LOSER_FILE - Static variable in class dk.brics.bisim.JarResources
Name of the loser smiley image.
loserImage - Variable in class dk.brics.bisim.view.GameView
 
loserImageIcon - Variable in class dk.brics.bisim.view.GameView
 
loweredetched - Variable in class dk.brics.bisim.view.OptionsView
 
lowerPanel - Variable in class dk.brics.bisim.view.OptionsView
The status panel underneath the tabbed pane.
LTSModel - Class in dk.brics.bisim.model
A local data model holding a Grappa graph.
LTSModel(String) - Constructor for class dk.brics.bisim.model.LTSModel
Constructs an LTS model given the name of the initial node in the graph.
ltsModel - Variable in class dk.brics.bisim.model.SimulatorModel
 
LTSPanel - Class in dk.brics.bisim.view
A panel for displaying a LTS.
LTSPanel(Dimension) - Constructor for class dk.brics.bisim.view.LTSPanel
Constructs an LTS panel given the preferred dimension of a graph panel.
ltsPanel - Variable in class dk.brics.bisim.view.OptionsView
 
ltsString - Static variable in class dk.brics.bisim.view.OptionsView
 
ltsTextFieldSize - 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