FUNCTION acyclic_surface_replica

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

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

Referenced By

Defintion acyclic_surface_replica is references by the following definitions:
DefinitionType
 surface_replica ENTITY


[Top Level Definitions] [Exit]

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