Navigation

conditional_reverse

EXPRESS specification:

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;