Searched refs:getUnaryMinusInterpretation (Results 1 – 2 of 2) sorted by relevance
323 Interpretation getUnaryMinusInterpretation(unsigned argSort);
1187 Interpretation SMTLIB2::getUnaryMinusInterpretation(unsigned argSort) in getUnaryMinusInterpretation() function in Parse::SMTLIB22038 Interpretation intp = getUnaryMinusInterpretation(sort); in parseAsBuiltinTermSymbol()