Function
COUNTERWEIGHT_BUFFER_QUANTITY
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-14
,
C-17
,
Counterweight_buffer_load_c
,
Onebuffer_whenless38
Notes:
Formerly-Named:
noofcounterwtbuff
Source:
The Yost document, under "
COUNTERWEIGHT_BUFFER_QUANTITY
"