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

E

edgeLabel - Variable in class dk.brics.bisim.equiv.AbstractSuccessor
 
edgeName - Variable in class dk.brics.bisim.equiv.StrongSuccessor
 
edgeNames - Variable in class dk.brics.bisim.equiv.WeakSuccessor
 
edges - Variable in class dk.brics.bisim.equiv.ConfigurationGraph
The set of edges in the graph.
EMP_COLOR - Static variable in class dk.brics.bisim.model.SimulatorModel
 
emphasizedEdge - Variable in class dk.brics.bisim.model.SimulatorModel
 
emphasizeEdge(String, String) - Method in class dk.brics.bisim.model.SimulatorModel
Emphasize an edge when mouse hovers over an action name.
enableGameView() - Method in class dk.brics.bisim.view.MainView
Enable the game view tab.
enableOptionsView() - Method in class dk.brics.bisim.view.MainView
Enable the options view tab.
encode(ArrayList<String>) - Static method in class dk.brics.bisim.model.Protocol
Encode a list of arguments into one string.
equals(Object) - Method in class dk.brics.bisim.equiv.Capability
 
equals(Capability) - Method in class dk.brics.bisim.equiv.Capability
Two capabilities are equal if there actions are equal and their blockNumbers are equal.
equals(Object) - Method in class dk.brics.bisim.equiv.CGEdge
 
equals(CGEdge) - Method in class dk.brics.bisim.equiv.CGEdge
 
equals(Object) - Method in class dk.brics.bisim.equiv.CGNode
 
equals(CGNode) - Method in class dk.brics.bisim.equiv.CGNode
 
equals(Object) - Method in class dk.brics.bisim.equiv.StrongSuccessor
 
equals(StrongSuccessor) - Method in class dk.brics.bisim.equiv.StrongSuccessor
 
equals(Object) - Method in class dk.brics.bisim.equiv.WeakSuccessor
 
equals(WeakSuccessor) - Method in class dk.brics.bisim.equiv.WeakSuccessor
 
EX_MESSAGE_UNBOUND - Static variable in class dk.brics.bisim.model.Protocol
 
exitButton - Variable in class dk.brics.bisim.view.OptionsView
 
exitButton - Variable in class dk.brics.bisim.view.SimulatorView
 
exitString - 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