Searched defs:RewritingContext (Results 1 – 9 of 9) sorted by relevance
39 class RewritingContext : public Substitution, private SimpleRootContainer class176 RewritingContext::RewritingContext(DagNode* root) in RewritingContext() function in RewritingContext192 RewritingContext::RewritingContext(int substitutionSize) in RewritingContext() function in RewritingContext
677 class RewritingContext { class in Analyzer691 RewritingContext( in RewritingContext() method in Analyzer.RewritingContext
676 class RewritingContext { class in Analyzer690 RewritingContext( in RewritingContext() method in Analyzer.RewritingContext
687 class RewritingContext { class in Analyzer701 RewritingContext( in RewritingContext() method in Analyzer.RewritingContext
691 class RewritingContext { class in Analyzer705 RewritingContext( in RewritingContext() method in Analyzer.RewritingContext