Function
MACHINE_BEAM_UNIT_WEIGHT
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
:
Machine_beam_model
Used-In-Constraint
:
Machine_beam_weight_c
Notes:
Formerly-Named:
mbeamwtperft
Source:
The Yost document, under "
MACHINE_BEAM_UNIT_WEIGHT
"