Searched defs:RewriteEngine (Results 1 – 2 of 2) sorted by relevance
45 RewriteEngine::RewriteEngine( context::Context* c, QuantifiersEngine* qe ) : QuantifiersModule(qe) { in RewriteEngine() function in RewriteEngine
68 class RewriteEngine; variable