Navigation

acyclic_curve_replica

EXPRESS specification:

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