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