FUNCTION conditional_reverse

(* SCHEMA topology_schema; *)
 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:
DefinitionType
 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:13:58-04:00