digraph G {
 rankdir=LR
 node [shape=box, fontsize=9, height=0.1, width=0.05 ]
 edge [arrowsize=0.5, len=0.1]
"Elavator\n"->"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CurrentElevatorDirection\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"LastElevatorDirection\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"IsHigherFloorSelectedFromCabin\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"IsLowerFloorSelectedFromCabin\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"IsThisFloorSelectedFromCabin\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CallElevatorFromHigherFloorToGoUp\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CallElevatorFromHigherFloorToGoDown\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CallElevatorFromLowerFloorToGoUp\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CallElevatorFromLowerFloorToGoDown\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CallElevatorFromActualFloorToGoUp\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"CallElevatorFromActualFloorToGoDown\n"
"CurrentElevatorDirection\nLastElevatorDirection\nIsHigherFloorSelectedFromCabin\nIsLowerFloorSelectedFromCabin\nIsThisFloorSelectedFromCabin\nCallElevatorFromHigherFloorToGoUp\nCallElevatorFromHigherFloorToGoDown\nCallElevatorFromLowerFloorToGoUp\nCallElevatorFromLowerFloorToGoDown\nCallElevatorFromActualFloorToGoUp\nCallElevatorFromActualFloorToGoDown\nWhereToGo\n"->"WhereToGo\n"
"CurrentElevatorDirection\n"->"currentElevatorDirection\n"
"LastElevatorDirection\n"->"lastElevatorDirection\n"
"IsHigherFloorSelectedFromCabin\n"->"isHigherFloorSelectedFromCabin\n"
"IsLowerFloorSelectedFromCabin\n"->"isLowerFloorSelectedFromCabin\n"
"IsThisFloorSelectedFromCabin\n"->"isThisFloorSelectedFromCabin\n"
"CallElevatorFromHigherFloorToGoUp\n"->"callElevatorFromHigherFloorToGoUp\n"
"CallElevatorFromHigherFloorToGoDown\n"->"callElevatorFromHigherFloorToGoDown\n"
"CallElevatorFromLowerFloorToGoUp\n"->"callElevatorFromLowerFloorToGoUp\n"
"CallElevatorFromLowerFloorToGoDown\n"->"callElevatorFromLowerFloorToGoDown\n"
"CallElevatorFromActualFloorToGoUp\n"->"callElevatorFromActualFloorToGoUp\n"
"CallElevatorFromActualFloorToGoDown\n"->"callElevatorFromActualFloorToGoDown\n"
"WhereToGo\n"->"whereToGo\n"
}