Wall (source code)

= Wall

A wall is an unordered pair of complementary <halfspace>[halfspaces] $\{W^+,W^-\}$.