Definition
graph LR
place0(["AVAILABLE"])
place1(("UNDER_OFFER"))
place2(("PENDING"))
place3(("SOLD"))
place4(("RENTED"))
place5(("WITHDRAWN"))
place6(("EXPIRED"))
place7(("TEMP_OFF_MARKET"))
place8(("CANCELLED"))
place9(("COMING_SOON"))
transition0["make_offer"]
place0-->transition0
transition0-->place1
transition1["accept_offer"]
place1-->transition1
transition1-->place2
transition2["finalize_sale"]
place2-->transition2
transition2-->place3
transition3["finalize_rental"]
place2-->transition3
transition3-->place4
transition4["withdraw_property"]
place0-->transition4
transition4-->place5
transition5["expire_listing"]
place0-->transition5
transition5-->place6
transition6["temporarily_off_market"]
place0-->transition6
transition6-->place7
transition7["cancel_listing"]
place0-->transition7
transition7-->place8
transition8["cancel_listing"]
place1-->transition8
transition8-->place8
transition9["cancel_listing"]
place2-->transition9
transition9-->place8
transition10["cancel_listing"]
place7-->transition10
transition10-->place8
transition11["make_coming_soon"]
place8-->transition11
transition11-->place9
transition12["make_available"]
place9-->transition12
transition12-->place0
transition13["make_temp_off_market_available"]
place7-->transition13
transition13-->place0
transition14["back_to_pending"]
place5-->transition14
transition14-->place2
transition15["back_to_pending"]
place6-->transition15
transition15-->place2
transition16["back_to_pending"]
place8-->transition16
transition16-->place2
transition17["back_to_available"]
place5-->transition17
transition17-->place0
transition18["back_to_available"]
place6-->transition18
transition18-->place0
transition19["back_to_available"]
place8-->transition19
transition19-->place0
transition20["back_to_available"]
place7-->transition20
transition20-->place0
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |