<< Prev | - Up - | Next >> |
Next, the processing of the agenda is defined: if the agenda is empty, nothing is done (skip
). Else the first element in the agenda-stack is retrieved, processed and then added to the chart. When this is done, the recursive call to WorkOnAgenda
ensures that the rest of the agenda is processed.
%% process the agenda
for break:Break do
if {Agenda.isEmpty}
then {Break}
else
Edge = {Agenda.pop}
in
{Process Edge}
{Chart.add Edge}
end
end
<< Prev | - Up - | Next >> |