(* SCHEMA step_ship_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 ToolsTM EXPRESS to HTML Converter
on 2007-09-24T12:42:22-04:00