(* 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;
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:58-04:00