FUNCTION acyclic_point_replica

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

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;  (* STEP Part 42 (unchanged in 2nd edition)  *)

Referenced By

Defintion acyclic_point_replica is references by the following definitions:
DefinitionType
 point_replica ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00