Searched defs:vSort (Results 1 – 2 of 2) sorted by relevance
874 unsigned vSort = declareSort(pRdr.readNext()); in readDefineFun() local1434 unsigned vSort = declareSort(pRdr.readNext()); in parseQuantBegin() local
1863 for(unsigned vSort=0;vSort<env.sorts->count();vSort++){ in onModelFound() local