Constraint
SLING_UNDERBEAM_C
Defined in theory:
Vt-domain
Source code:
vt-domain.lisp
Slots on this instance:
Instance-Of
:
Constraint
Constraint-On
:
Elevator
Constraint.Expression
:
'(
=
(
Sling_Underbeam
?X) (
+
(
Car_Cab_Height
?X) (
Sling_Underbeam_Space
?X)))
Notes:
Formerly-Named:
slingub_calc
Source:
The Yost document, under "
SLING_UNDERBEAM
"