Searched refs:forceBoolValue (Results 1 – 1 of 1) sorted by relevance
228 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue() function363 Env.assume(ModelPred(Env, forceBoolValue(Env, *ValueOrPredExpr), in transferValueOrImpl()582 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndOptionalCmp()598 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndValueCmp()611 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndNulloptCmp()