module
solitair
graph class
:
DirectedGraph
exports
transformation unit
go
realized by
transformation unit
go
initial
:
(template sol)
body
:
apply
as long as possible
terminal
:
end
end
.