Function
OPENING_HEIGHT
Defined in theory:
Vt-domain
Source code:
vt-domain.lisp
Slots on this function:
Instance-Of
:
Function
,
Parameter-slot
,
Unary-function
Arity
:
2
Parameter-Slot-Of
:
Elevator
Used-In-Constraint
:
C-35
Notes:
Formerly-Named:
openingheight
Source:
The Yost document, under "
OPENING_HEIGHT
"