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