Searched refs:ntactic (Results 1 – 2 of 2) sorted by relevance
250 SafePtr<Tactic> ntactic(new NullTactic); in generate_graph_() local253 dg->apply(strat,ntactic); in generate_graph_()
430 SafePtr<NullTactic> ntactic = dynamic_pointer_cast<NullTactic,Tactic>(tactic); in _visit_cgf() local431 if (ntactic) in _visit_cgf()