SectionAndVacancy

A pair (section, vacancy). Expresses whether a train detection section is vacant or occupied.

SectionAndVacancy

A pair (section, vacancy). Expresses whether a train detection section is vacant or occupied.