Searched refs:extendsEngine (Results 1 – 3 of 3) sorted by path
48 bool extendsEngine() override { return true; } in extendsEngine() function
219 virtual bool extendsEngine() { return false; } in extendsEngine() function
600 Assert( !qy->extendsEngine() ); in getEntailedTerm2()672 Assert( !qy->extendsEngine() ); in isEntailed2()