You are on page 1of 1

:DesignExtractor pkb:Pkb

extractDesignAbstractions(pkb) fillUsesTable(pkb)
getParentTTable(pkb)

getUsesSTable(pkb)

fillIndirectRelation(pkb.getUsesS
Table, pkb.getParentTTable())

newUsesSTable

loop [ for row in newUsesSTable.getData() ]

addUsesS(stmtNum, var)

You might also like