Lines Matching refs:result_
176 result_ = new Variable(env_, VariableType::BOOL(), builder_->NextVariableId(), builder_->False());
185 ASSERT(result_ != nullptr);
186 delete result_;
187 result_ = nullptr;
209 *result_ = builder_->True();
212 auto ret = **result_;
222 result_ = new Variable(env_, VariableType::BOOL(), builder_->NextVariableId(), builder_->True());
231 ASSERT(result_ != nullptr);
232 delete result_;
233 result_ = nullptr;
255 *result_ = builder_->False();
258 auto ret = **result_;