Searched refs:complainAboutArgShortageOrWrongSorts (Results 1 – 2 of 2) sorted by relevance
/dports/math/vampire/vampire-4.5.1/Parse/ |
H A D | SMTLIB2.cpp | 1278 complainAboutArgShortageOrWrongSorts(LET,exp); in parseLetBegin() 1596 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1600 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1624 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1656 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1682 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1686 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1691 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1777 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() 1793 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol() [all …]
|
H A D | SMTLIB2.hpp | 373 void complainAboutArgShortageOrWrongSorts(const vstring& symbolClass, LExpr* exp) NO_RETURN;
|