Lines Matching refs:builder_
172 : env_(env), builder_(env_->GetBuilder())
175 builder_->SubCfgEntry(subentry_);
176 result_ = new Variable(env_, VariableType::BOOL(), builder_->NextVariableId(), builder_->False());
202 builder_->Branch(check, checkTrue, exit_);
203 builder_->Bind(checkTrue);
209 *result_ = builder_->True();
210 builder_->Jump(exit_);
211 builder_->Bind(exit_);
213 builder_->SubCfgExit();
218 : env_(env), builder_(env_->GetBuilder())
221 builder_->SubCfgEntry(subentry_);
222 result_ = new Variable(env_, VariableType::BOOL(), builder_->NextVariableId(), builder_->True());
248 builder_->Branch(check, exit_, checkFalse);
249 builder_->Bind(checkFalse);
255 *result_ = builder_->False();
256 builder_->Jump(exit_);
257 builder_->Bind(exit_);
259 builder_->SubCfgExit();