Searched refs:parseAsScopeLookup (Results 1 – 2 of 2) sorted by relevance
384 bool parseAsScopeLookup(const vstring& id);
1485 bool SMTLIB2::parseAsScopeLookup(const vstring& id) in parseAsScopeLookup() function in Parse::SMTLIB22248 if (parseAsScopeLookup(id)) { in parseTermOrFormula()