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