Searched refs:parseAsSpecConstant (Results 1 – 2 of 2) sorted by relevance
386 bool parseAsSpecConstant(const vstring& id);
1503 bool SMTLIB2::parseAsSpecConstant(const vstring& id) in parseAsSpecConstant() function in Parse::SMTLIB22252 if (parseAsSpecConstant(id)) { in parseTermOrFormula()