def run_HT_true(self, param):
logging.debug('building HT_true...')
tree = HT_true(self.data, param)
start = time.clock()
tree.buildIndex()
if Params.CONSTRAINT_INFERENCE:
tree.adjustConsistency()
end = time.clock()
logging.info('[T] HT_true building time: %.2d ' % (end - start))
return self.query(tree)
