digraph G {
 rankdir=LR
 node [shape=box, fontsize=9, height=0.1, width=0.05 ]
 edge [arrowsize=0.5, len=0.1]
"currentElevatorDirection\n"
"lastElevatorDirection\n"
"isHigherFloorSelectedFromCabin\n"
"isLowerFloorSelectedFromCabin\n"
"isThisFloorSelectedFromCabin\n"
"callElevatorFromHigherFloorToGoUp\n"
"callElevatorFromHigherFloorToGoDown\n"
"callElevatorFromLowerFloorToGoUp\n"
"callElevatorFromLowerFloorToGoDown\n"
"callElevatorFromActualFloorToGoUp\n"
"callElevatorFromActualFloorToGoDown\n"
"whereToGo\n"
"currentElevatorDirection\n"->"whereToGo\n"
"lastElevatorDirection\n"->"whereToGo\n"
"isHigherFloorSelectedFromCabin\n"->"whereToGo\n"
"isLowerFloorSelectedFromCabin\n"->"whereToGo\n"
"isThisFloorSelectedFromCabin\n"->"whereToGo\n"
"callElevatorFromHigherFloorToGoUp\n"->"whereToGo\n"
"callElevatorFromHigherFloorToGoDown\n"->"whereToGo\n"
"callElevatorFromLowerFloorToGoUp\n"->"whereToGo\n"
"callElevatorFromLowerFloorToGoDown\n"->"whereToGo\n"
"callElevatorFromActualFloorToGoUp\n"->"whereToGo\n"
"callElevatorFromActualFloorToGoDown\n"->"whereToGo\n"
}