module vibha/elevatorTakeOne

sig ElevatorControlSystem {
     // which floor buttons were lit
     floors : set Floor

}

sig Request {
}

sig RequestFromFloor extends Request {
      currentFloor : Floor
      upOrDown : Direction
}

sig RequestFromElevator extends Request {

}

sig Elevator {
     // requests inside elevator   
     pressedButtons : set Button
     door : 
     currentFloor : Floor
     direction : Direction
}

sig Direction {
}

one sig UpDirection extends Direction {
}

one sig DownDirection extends Direction {
}


sig Button {
    
}

sig Floor {
     // upButtonStatus and a DownButtonStatus --> lit or not lit
}

sig TopFloor extends Floor