I'm not quite understanding the type that is sent to the transitive closure
example code in 6.12. It doesn't appear to be an Adjacency List or Matrix.
The text says that it uses a series of tuples for representation, but I don't
quite follow what that means in terms of the example of:
[1#[2 3] 2#[2
3] 3#nil]
The code for DeclTrans2 follows:
fun {DeclTrans2 GT}
H={Width GT}
fun {Loop K InG}
if K=<H then
G={MakeTuple g H} in
for I in 1..H do
G.I={MakeTuple g H}
for J in 1..H do
G.I.J=InG.I.J orelse {InG.I.K andthen InG.K.J}
end
end
{Loop K+1 G}
else InG end
end
in
{Loop 1 GT}
end
Thanks,
Chris Rathman
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
