Searched refs:forceBoolValue (Results 1 – 1 of 1) sorted by relevance
317 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue() function435 Env.assume(ModelPred(Env, forceBoolValue(Env, *ValueOrPredExpr), in transferValueOrImpl()652 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndOptionalCmp()668 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndValueCmp()681 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndNulloptCmp()