Searched refs:getBoolSort (Results 1 – 3 of 3) sorted by relevance
54 virtual SMTSortRef getBoolSort() = 0;
31 return Solver->getBoolSort(); in mkSort()
290 SMTSortRef getBoolSort() override { in getBoolSort() function in __anon1f86e14b0211::Z3Solver