Skip to content
Leon Starr edited this page Jan 23, 2022 · 1 revision

R5 / 1:1

Top Bank Level is the highest floor serviceable by exactly one Bank

Bank provides service up to exactly one Top Bank Level


A Bank is constrained such that it must have a highest Floor where it provides service. By definition, a Top Bank Level must be that Floor for its Bank.

Formalization

Top Bank Level.Bank -> Bank.Name

Clone this wiki locally