Searched refs:set_quantifier (Results 1 – 1 of 1) sorted by relevance
4768 set_quantifier(Node* qnode, Node* target, int group, ScanEnv* env) in set_quantifier() function5393 r = set_quantifier(qn, *targetp, group, env); in parse_exp()
Completed in 12 milliseconds