equal
deleted
inserted
replaced
450 val g' = transpose (op aconv) g; |
450 val g' = transpose (op aconv) g; |
451 val Vy = dfs_term_reachable g' y; |
451 val Vy = dfs_term_reachable g' y; |
452 |
452 |
453 fun processTranclEdges [] = raise Cannot |
453 fun processTranclEdges [] = raise Cannot |
454 | processTranclEdges (e::es) = |
454 | processTranclEdges (e::es) = |
455 if (upper e) mem Vx andalso (lower e) mem Vx |
455 if member (op =) Vx (upper e) andalso member (op =) Vx (lower e) |
456 andalso (upper e) mem Vy andalso (lower e) mem Vy |
456 andalso member (op =) Vy (upper e) andalso member (op =) Vy (lower e) |
457 then ( |
457 then ( |
458 |
458 |
459 |
459 |
460 if (lower e) aconv x then ( |
460 if (lower e) aconv x then ( |
461 if (upper e) aconv y then ( |
461 if (upper e) aconv y then ( |