Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

:DesignExtractor pkb:Pkb

extractDesignAbstractions(pkb) fillParentTTable(pkb)
getParentTable(pkb)

generateTransitiveClosure(pkb.
getParentTable())

Warshall’s algorithm for generating


transitive closure

parentTTable

loop [ for row in parentTTable.getData() ]

addParentT(parent, child)

You might also like