TPDB.XTC.Read

atTag

getTerm

getVar

getFunApp

gotoChild

getChild

getProblem

getType

getStrategy

getStartterm

getTRS

getSignature

getFuncsym

getRules

getRule

readProblems

readProblemsBS