Searched refs:forceBoolValue (Results 1 – 1 of 1) sorted by relevance
368 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue() function495 Env.assume(ModelPred(Env, forceBoolValue(Env, *ValueOrPredExpr), in transferValueOrImpl()844 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndOptionalCmp()860 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndValueCmp()873 auto *CmpValue = &forceBoolValue(Env, *CmpExpr); in transferOptionalAndNulloptCmp()