Class AbstractTransitiveClosure