Searched refs:theQuantAtom (Results 1 – 1 of 1) sorted by relevance
1421 const vstring& theQuantAtom = lRdr.readAtom(); in parseQuantBegin() local1422 ASS(theQuantAtom == FORALL || theQuantAtom == EXISTS); in parseQuantBegin()