digraph G{  node [shape=record, fontsize=9, height=0.1, width=0.05]; edge [style=dashed, arrowsize=0.5, len=0.1]; rankdir=LR 
subgraph "cluster_Elavator" {
"{[[currentElevatorDirection], [lastElevatorDirection], [isHigherFloorSelectedFromCabin], [isLowerFloorSelectedFromCabin], [isThisFloorSelectedFromCabin], [callElevatorFromHigherFloorToGoUp], [callElevatorFromHigherFloorToGoDown], [callElevatorFromLowerFloorToGoUp], [callElevatorFromLowerFloorToGoDown], [callElevatorFromActualFloorToGoUp], [callElevatorFromActualFloorToGoDown]]|[[whereToGo]]}"
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CurrentElevatorDirection" {
label="CurrentElevatorDirection"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_LastElevatorDirection" {
label="LastElevatorDirection"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_IsHigherFloorSelectedFromCabin" {
label="IsHigherFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_IsLowerFloorSelectedFromCabin" {
label="IsLowerFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_IsThisFloorSelectedFromCabin" {
label="IsThisFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CallElevatorFromHigherFloorToGoUp" {
label="CallElevatorFromHigherFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CallElevatorFromHigherFloorToGoDown" {
label="CallElevatorFromHigherFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CallElevatorFromLowerFloorToGoUp" {
label="CallElevatorFromLowerFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CallElevatorFromLowerFloorToGoDown" {
label="CallElevatorFromLowerFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CallElevatorFromActualFloorToGoUp" {
label="CallElevatorFromActualFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_CallElevatorFromActualFloorToGoDown" {
label="CallElevatorFromActualFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_WhereToGo" {
label="WhereToGo"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_currentElevatorDirection" {
label="currentElevatorDirection"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_lastElevatorDirection" {
label="lastElevatorDirection"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_isHigherFloorSelectedFromCabin" {
label="isHigherFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_isLowerFloorSelectedFromCabin" {
label="isLowerFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_isThisFloorSelectedFromCabin" {
label="isThisFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromHigherFloorToGoUp" {
label="callElevatorFromHigherFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromHigherFloorToGoDown" {
label="callElevatorFromHigherFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromLowerFloorToGoUp" {
label="callElevatorFromLowerFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromLowerFloorToGoDown" {
label="callElevatorFromLowerFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromActualFloorToGoUp" {
label="callElevatorFromActualFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromActualFloorToGoDown" {
label="callElevatorFromActualFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Elavator" {
label="Elavator"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_whereToGo" {
label="whereToGo"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CurrentElevatorDirection" {
label="CurrentElevatorDirection"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_currentElevatorDirection" {
label="currentElevatorDirection"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_LastElevatorDirection" {
label="LastElevatorDirection"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_lastElevatorDirection" {
label="lastElevatorDirection"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_IsHigherFloorSelectedFromCabin" {
label="IsHigherFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_isHigherFloorSelectedFromCabin" {
label="isHigherFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_IsLowerFloorSelectedFromCabin" {
label="IsLowerFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_isLowerFloorSelectedFromCabin" {
label="isLowerFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_IsThisFloorSelectedFromCabin" {
label="IsThisFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_isThisFloorSelectedFromCabin" {
label="isThisFloorSelectedFromCabin"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CallElevatorFromHigherFloorToGoUp" {
label="CallElevatorFromHigherFloorToGoUp"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromHigherFloorToGoUp" {
label="callElevatorFromHigherFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CallElevatorFromHigherFloorToGoDown" {
label="CallElevatorFromHigherFloorToGoDown"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromHigherFloorToGoDown" {
label="callElevatorFromHigherFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CallElevatorFromLowerFloorToGoUp" {
label="CallElevatorFromLowerFloorToGoUp"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromLowerFloorToGoUp" {
label="callElevatorFromLowerFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CallElevatorFromLowerFloorToGoDown" {
label="CallElevatorFromLowerFloorToGoDown"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromLowerFloorToGoDown" {
label="callElevatorFromLowerFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CallElevatorFromActualFloorToGoUp" {
label="CallElevatorFromActualFloorToGoUp"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromActualFloorToGoUp" {
label="callElevatorFromActualFloorToGoUp"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_CallElevatorFromActualFloorToGoDown" {
label="CallElevatorFromActualFloorToGoDown"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_callElevatorFromActualFloorToGoDown" {
label="callElevatorFromActualFloorToGoDown"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_WhereToGo" {
label="WhereToGo"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_whereToGo" {
label="whereToGo"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
}