Searched refs:getBitvectorSort (Results 1 – 3 of 3) sorted by relevance
308 SMTSortRef getBitvectorSort(unsigned BitWidth) override { in getBitvectorSort() function in __anonca7d1dd80111::Z3Solver727 const Z3_sort Z3Sort = toZ3Sort(*getBitvectorSort(BitWidth)).Sort; in mkBitvector()791 SMTSortRef BVSort = getBitvectorSort(Sort->getFloatSortSize()); in toAPFloat()
163 virtual SMTSortRef getBitvectorSort(const unsigned BitWidth) = 0;
35 return Solver->getBitvectorSort(BitWidth); in mkSort()