Navigation

acyclic_surface_replica

EXPRESS specification:

FUNCTION acyclic_surface_replica
(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;
END_FUNCTION;