Navigation

set_of_topology_reversed

EXPRESS specification:

FUNCTION set_of_topology_reversed
(a_set : set_of_reversible_topology_item) : set_of_reversible_topology_item;
   LOCAL
 the_reverse : set_of_reversible_topology_item;
   END_LOCAL;
 
   the_reverse := [];
   REPEAT i := 1 TO SIZEOF (a_set);
 the_reverse := the_reverse + topology_reversed (a_set [i]);
   END_REPEAT;
 
 RETURN (the_reverse);
END_FUNCTION;