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