Constraint
DOOR_OPENING_STRIKE_SIDE_C
Defined in theory:
Vt-domain
Source code:
vt-domain.lisp
Slots on this instance:
Instance-Of
:
Constraint
Constraint-On
:
Door_model
Constraint.Expression
:
'(
Member
(
Door_Opening_Strike_Side
?X) (
Setof
left right na))
Notes:
Formerly-Named:
openingside_of_door_values
Source:
The Yost document, under "
DOOR_OPENING_STRIKE_SIDE
"