Searched refs:iSorts (Results 1 – 2 of 2) sorted by relevance
267 void readDeclareFun(const vstring& name, LExprList* iSorts, LExpr* oSort);
162 LExprList* iSorts = ibRdr.readList(); in readBenchmark() local165 readDeclareFun(name,iSorts,oSort); in readBenchmark()780 void SMTLIB2::readDeclareFun(const vstring& name, LExprList* iSorts, LExpr* oSort) in readDeclareFun() argument790 LispListReader isRdr(iSorts); in readDeclareFun()