|
|
(rep : curve_replica; parent : curve) : BOOLEAN;
IF NOT (('STRUCTURAL_FRAME_SCHEMA.CURVE_REPLICA') IN TYPEOF(parent)) THEN
RETURN (TRUE);
END_IF;
IF (parent :=: rep) THEN
RETURN (FALSE);
ELSE RETURN(acyclic_curve_replica(rep, parent\curve_replica.parent_curve));
END_IF;
|
|
|