Searched refs:getBoolSort (Results 1 – 3 of 3) sorted by relevance
173 virtual SMTSortRef getBoolSort() = 0;
30 return Solver->getBoolSort(); in mkSort()
318 SMTSortRef getBoolSort() override { in getBoolSort() function in __anona2cc94240111::Z3Solver