TPDB.XTC.Read

atTag

getTerm

getVar

getFunApp

gotoChild

getChild

getProblem

getType

getStrategy

getStartterm

getTRS

getSignature

getFOSignature

getHOSignature

getFuncsym

getRead

getRules

getRule

readProblems

readProblemsBS