Searched refs:d_sharedTermsVisitor (Results 1 – 2 of 2) sorted by relevance
869 SharedTermsVisitor d_sharedTermsVisitor; variable
323 d_sharedTermsVisitor(d_sharedTerms), in TheoryEngine()426 NodeVisitor<SharedTermsVisitor>::run(d_sharedTermsVisitor, preprocessed); in preRegister()