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