Searched refs:mkBoolean (Results 1 – 3 of 3) sorted by relevance
406 virtual SMTExprRef mkBoolean(const bool b) = 0;
143 Ty->isBooleanType() ? Solver->mkBoolean(Value.getBoolValue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
723 SMTExprRef mkBoolean(const bool b) override { in mkBoolean() function in __anon0349533b0111::Z3Solver