<> <> <> <<>> DIRECTORY ViewerConstraints USING [Edge, EnforceProc, Values]; ViewerConstraintsPrivate: CEDAR DEFINITIONS ~ BEGIN ConstraintClass: TYPE ~ REF ConstraintClassRep; ConstraintClassRep: TYPE ~ RECORD [ nFrom, nTo: CARDINAL, enforce: ViewerConstraints.EnforceProc, classData: REF ]; Constraint: TYPE ~ REF ConstraintRep; ConstraintRep: TYPE ~ RECORD [ class: ConstraintClass, from, to: ViewerConstraints.Values, eFrom, eTo: EdgeSequence, check: BOOL _ TRUE, instanceData: REF _ NIL ]; EdgeSequence: TYPE ~ REF EdgeSequenceRep; EdgeSequenceRep: TYPE ~ RECORD [SEQUENCE n: NAT OF ViewerConstraints.Edge]; END.