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

I

icon - Variable in class dk.brics.bisim.view.OptionsView
 
id - Variable in class dk.brics.bisim.equiv.CGNode
 
image - Variable in class dk.brics.bisim.view.OptionsView
 
imageLabel - Variable in class dk.brics.bisim.view.OptionsView
 
imagePanel - Variable in class dk.brics.bisim.view.OptionsView
The image panel to the left.
incAndGetRoundNumber() - Method in class dk.brics.bisim.model.GameModel
 
INDENTATION - Static variable in class dk.brics.bisim.view.Message
 
infiniteGameOver - Variable in class dk.brics.bisim.model.GameModel
 
initClient() - Method in class dk.brics.bisim.BisimulationGame
 
initialNodeLeft - Variable in class dk.brics.bisim.equiv.StateSpace
The initial nodes of the left LTS.
initialNodeName - Variable in class dk.brics.bisim.model.LTSModel
 
initialNodeRight - Variable in class dk.brics.bisim.equiv.StateSpace
The initial node of the right LTS.
initLocal() - Method in class dk.brics.bisim.BisimulationGame
 
initServer() - Method in class dk.brics.bisim.BisimulationGame
 
inputActions - Variable in class dk.brics.bisim.model.SimulatorModel
Input actions are mapped by (unique) name to label.
inputActions - Variable in class dk.brics.bisim.view.SimulatorView
 
inputActionScrollPane - Variable in class dk.brics.bisim.view.SimulatorView
 
inputButton - Variable in class dk.brics.bisim.view.SimulatorView
 
inputPanel - Variable in class dk.brics.bisim.view.SimulatorView
 
insertTraceStyles() - Method in class dk.brics.bisim.view.GameView
Generate the different styles used for writing in the trace text pane.
isActionEnabled(String) - Method in class dk.brics.bisim.model.LTSModel
Check to see if there exists an outgoing edge from current node that has label = action.
isGameOver() - Method in class dk.brics.bisim.model.GameModel
 
isLeftWeak - Variable in class dk.brics.bisim.equiv.CGEdge
 
isLeftWeak() - Method in class dk.brics.bisim.equiv.CGEdge
Returns if left action is weak.
isRightWeak - Variable in class dk.brics.bisim.equiv.CGEdge
 
isRightWeak() - Method in class dk.brics.bisim.equiv.CGEdge
Returns if right action is weak.
isWeak - Variable in class dk.brics.bisim.equiv.AbstractSuccessor
 
isWeak() - Method in class dk.brics.bisim.equiv.AbstractSuccessor
 
isWeak() - Method in interface dk.brics.bisim.equiv.Successor
 
IT_VEST_FILE - Static variable in class dk.brics.bisim.JarResources
Name of the it-vest logo image.
itVestImage - Variable in class dk.brics.bisim.view.MainView
 
itVestImageIcon - Static variable in class dk.brics.bisim.view.MainView
 

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