FUNCTION conditional_reverse

(* SCHEMA plant_spatial_configuration; *)

   FUNCTION conditional_reverse
      (p : BOOLEAN;
       an_item : reversible_topology ) : reversible_topology;
      IF p THEN
         RETURN (an_item);
      ELSE
         RETURN (topology_reversed(an_item));
      END_IF;
   END_FUNCTION;

Referenced By

Defintion conditional_reverse is references by the following definitions:

Definition	Type
oriented_closed_shell	ENTITY
oriented_face	ENTITY
oriented_open_shell	ENTITY
oriented_path	ENTITY

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:18:24-04:00