Searched refs:readDefineSort (Results 1 – 2 of 2) sorted by relevance
173 void readDefineSort(const vstring& name, LExprList* args, LExpr* body);
153 readDefineSort(name,args,body); in readBenchmark()493 void SMTLIB2::readDefineSort(const vstring& name, LExprList* args, LExpr* body) in readDefineSort() function in Parse::SMTLIB2