|
|
(rep : surface_replica; parent : surface) : BOOLEAN;
IF NOT (('STRUCTURAL_FRAME_SCHEMA.SURFACE_REPLICA') IN TYPEOF(parent)) THEN
RETURN (TRUE);
END_IF;
IF (parent :=: rep) THEN
RETURN (FALSE);
ELSE RETURN(acyclic_surface_replica(rep,
parent\surface_replica.parent_surface));
END_IF;
|
|
|