|
Methods
|
|
|
|
|
|
AddEdge
|
AddEdge (
self,
tail,
head,
)
|
|
|
AddVertexCanvas
|
AddVertexCanvas (
self,
x,
y,
)
|
|
|
ChangeTool
|
ChangeTool ( self )
----- Tools Menu callbacks
|
|
|
CreateWidgets
|
CreateWidgets ( self )
|
|
|
DeleteVertex
|
DeleteVertex ( self, v )
|
|
|
EditAlphabet
|
EditAlphabet ( self )
|
|
|
EditBackgroundDistributions
|
EditBackgroundDistributions ( self )
|
|
|
EditClassLabel
|
EditClassLabel ( self )
|
|
|
EditHMM
|
EditHMM ( self )
|
|
|
EditPrior
|
EditPrior ( self )
|
|
|
EditPropertiesUp
|
EditPropertiesUp ( self, event )
|
|
|
EditWeightUp
|
EditWeightUp ( self, event )
|
|
|
MouseUp
|
MouseUp ( self, event )
|
|
|
NewGraph
|
NewGraph ( self, nrOfSymbols=0 )
Menu Commands
The menu commands are passed as call back parameters to
the menu items.
|
|
|
OpenGraph
|
OpenGraph ( self )
|
|
|
SaveAsGraph
|
SaveAsGraph ( self )
|
|
|
SaveGraph
|
SaveGraph ( self )
|
|
|
SetGraphMenuOptions
|
SetGraphMenuOptions ( self )
|
|
|
ShowCoords
|
ShowCoords ( self, event )
|
|
|
__init__
|
__init__ ( self, master=None )
|
|
|
makeMenuBar
|
makeMenuBar ( self )
|