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

W

WAITING - Static variable in class dk.brics.bisim.view.Message
 
weakRadioButton - Variable in class dk.brics.bisim.view.OptionsView
 
weakString - Static variable in class dk.brics.bisim.view.OptionsView
 
WeakSuccessor - Class in dk.brics.bisim.equiv
A weak successor.
WeakSuccessor(String, Node) - Constructor for class dk.brics.bisim.equiv.WeakSuccessor
 
width - Variable in class dk.brics.bisim.view.GameView
 
width - Static variable in class dk.brics.bisim.view.MainView
 
width - Variable in class dk.brics.bisim.view.SimulatorView
 
WINNER_FILE - Static variable in class dk.brics.bisim.JarResources
Name of the winner smiley image.
winnerImage - Variable in class dk.brics.bisim.view.GameView
 
winnerImageIcon - Variable in class dk.brics.bisim.view.GameView
 

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