digraph gr { rankdir = LR;
label = "States Description (version1: blue, version2: red)";
subgraph clusterContactEditor{
node [shape=box]
color=blue
label= "ContactEditor"
ContactEditorWindow -> ContactEditorstate0 [color=blue, label= "[]"];
ContactEditorWindow -> ContactEditorstate1 [color=blue, label= "[(Add,True),(Cancel,True),(Edit,False),(Ok,True),(Remove,False)]"];
ContactEditorWindow -> ContactEditorstate2 [color=blue, label= "[(Add,True),(Cancel,True),(Edit,True),(Ok,True),(Remove,True)]"];
ContactEditorWindow -> ContactEditorstate0 [color=red, label= "[]"];
ContactEditorWindow -> ContactEditorstate1 [color=red, label= "[(Add,True),(Cancel,True),(Edit,False),(Ok,True),(Remove,False)]"];
ContactEditorWindow -> ContactEditorstate2 [color=red, label= "[(Add,True),(Cancel,True),(Edit,True),(Ok,True),(Remove,True)]"];
}
subgraph clusterFind{
node [shape=box]
color=blue
label= "Find"
FindWindow -> Findstate0 [color=blue, label= "[]"];
FindWindow -> Findstate1 [color=blue, label= "[(Cancel,True),(Search,True),(Show,True)]"];
FindWindow -> Findstate0 [color=red, label= "[]"];
FindWindow -> Findstate1 [color=red, label= "[(Cancel,True),(Search,True),(Show,True)]"];
}
subgraph clusterLogin{
node [shape=box]
color=blue
label= "Login"
LoginWindow -> Loginstate0 [color=blue, label= "[]"];
LoginWindow -> Loginstate1 [color=blue, label= "[(Cancel,True),(Ok,True)]"];
LoginWindow -> Loginstate0 [color=red, label= "[]"];
LoginWindow -> Loginstate1 [color=red, label= "[(Cancel,True),(Ok,True)]"];
}
subgraph clusterMainForm{
node [shape=box]
color=blue
label= "MainForm"
MainFormWindow -> MainFormstate0 [color=blue, label= "[]"];
MainFormWindow -> MainFormstate1 [color=blue, label= "[(Edit,True),(Exit,True),(Find,True)]"];
MainFormWindow -> MainFormstate0 [color=red, label= "[]"];
MainFormWindow -> MainFormstate1 [color=red, label= "[(Edit,True),(Exit,True),(Find,True)]"];
}
}