Navigation

acyclic_point_replica

EXPRESS specification:

FUNCTION acyclic_point_replica
(rep : point_replica; parent : point) : BOOLEAN;
 IF NOT (('STRUCTURAL_FRAME_SCHEMA.POINT_REPLICA') IN TYPEOF(parent)) THEN
 RETURN (TRUE);
 END_IF;
 
 IF (parent :=: rep) THEN
 RETURN (FALSE);

ELSE RETURN(acyclic_point_replica(rep, parent\point_replica.parent_pt));
END_IF;
END_FUNCTION;