+
Point of view
CONTAINER
deferred class ALIGNABLE
- std_width > 0
- std_height > 0
require
- p = Void implies parent /= Void
- p /= Void implies parent = Void
- p /= Void implies p.has_child(Current)
ensure
frozen
effective function
frozen
effective function
frozen
effective function
frozen
effective function
frozen
effective function