Compute the transitive closure of a binary relation.
(f: FuncDeclRef)
| 4386 | |
| 4387 | |
| 4388 | def TransitiveClosure(f: FuncDeclRef) -> FuncDeclRef: |
| 4389 | """Compute the transitive closure of a binary relation.""" |
| 4390 | return FuncDeclRef(f"tc_{f._name}", f._domain, f._range) |
| 4391 | |
| 4392 | |
| 4393 | # --------------------------------------------------------------------------- |
nothing calls this directly
no test coverage detected