Function
CAR_OVERTRAVEL
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-6
,
Car_cst5
Notes:
Formerly-Named:
carovertravel
Source:
The Yost document, under "
CAR_OVERTRAVEL
"