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