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

H

hashCode() - Method in class dk.brics.bisim.equiv.Capability
 
hashCode() - Method in class dk.brics.bisim.equiv.CGEdge
 
hashCode() - Method in class dk.brics.bisim.equiv.CGNode
 
hashCode() - Method in class dk.brics.bisim.equiv.StrongSuccessor
 
hashCode() - Method in class dk.brics.bisim.equiv.WeakSuccessor
 
hasProperties() - Method in class dk.brics.bisim.model.OptionsModel
Checks if the user has chosen game properties.
hasRegistry - Variable in class dk.brics.bisim.BisimulationGame
 
hasStateSpacePartition - Variable in class dk.brics.bisim.model.GameModel
 
hasStateSpacePartition() - Method in class dk.brics.bisim.model.GameModel
 
hasTau() - Method in class dk.brics.bisim.model.SimulatorModel
 
headId - Variable in class dk.brics.bisim.equiv.CGEdge
 
height - Static variable in class dk.brics.bisim.view.MainView
 
height - Variable in class dk.brics.bisim.view.SimulatorView
 
HELP_URL - Static variable in class dk.brics.bisim.JarResources
Name of the HTML file displayed in the Help view.
HelpView - Class in dk.brics.bisim.view
A panel describing game rules and help.
HelpView(int, int) - Constructor for class dk.brics.bisim.view.HelpView
 
helpView - Variable in class dk.brics.bisim.view.MainView
The help page.
helpViewString - Static variable in class dk.brics.bisim.view.MainView
Help page tab title.
host - Variable in class dk.brics.bisim.model.OptionsModel
 
hostLabel - Variable in class dk.brics.bisim.view.OptionsView
 
hostString - Static variable in class dk.brics.bisim.view.OptionsView
 
hostTextField - Variable in class dk.brics.bisim.view.OptionsView
 
hostTextFieldSize - 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