Constraint
OPENINGTYPE_OF_DOOR_VALUES
Defined in theory:
Vt-domain
Source code:
vt-domain.lisp
Slots on this instance:
Instance-Of
:
Constraint
Constraint.Expression
:
'(
Member
(
Door_Opening_Type_S
?X) (
Setof
side center))