// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/uct.h
// Function: Online::Policy::UCT::uct_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("uct(policy=") + (base_policy_ == 0 ? std::string("null") : base_policy_->name()) +
          std::string(",width=") + std::to_string(width_) +
          std::string(",horizon=") + std::to_string(horizon_) +
          std::string(",parameter=") + std::to_string(parameter_) +
          std::string(",random-ties=") + (random_ties_ ? "true" : "false") + ")";
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x250, %rsp            # imm = 0x250
movq %rsi, %r15
movq %rdi, %r14
leaq 0xad6c(%rip), %rsi      # 0x214cb
leaq 0x110(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x50e0
movq 0x28(%r15), %rbx
testq %rbx, %rbx
je 0x1678a
movq (%rbx), %rax
leaq 0x10(%rsp), %rdi
movq %rbx, %rsi
callq *0x18(%rax)
jmp 0x167a0
leaq 0xa245(%rip), %rsi      # 0x209d6
leaq 0x10(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0x50e0
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0xcc8d
leaq 0xa9f7(%rip), %rsi      # 0x211b8
leaq 0xf0(%rsp), %rdi
leaq 0xd(%rsp), %rdx
callq 0x50e0
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
leaq 0xf0(%rsp), %rdx
callq 0xcc8d
movl 0x30(%r15), %esi
leaq 0xd0(%rsp), %rdi
callq 0xcd19
leaq 0x170(%rsp), %rdi
leaq 0x150(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0xcc8d
leaq 0xacb2(%rip), %rsi      # 0x214d7
leaq 0xb0(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x50e0
leaq 0x190(%rsp), %rdi
leaq 0x170(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0xcc8d
movl 0x34(%r15), %esi
leaq 0x90(%rsp), %rdi
callq 0xcd19
leaq 0x1b0(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x90(%rsp), %rdx
callq 0xcc8d
leaq 0xac58(%rip), %rsi      # 0x214e1
leaq 0x70(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0x50e0
leaq 0x1d0(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xcc8d
movss 0x38(%r15), %xmm0
leaq 0x50(%rsp), %rdi
callq 0xccf4
leaq 0x1f0(%rsp), %rdi
leaq 0x1d0(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xcc8d
leaq 0xa861(%rip), %rsi      # 0x21144
leaq 0x30(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0x50e0
leaq 0x210(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0xcc8d
leaq 0xa826(%rip), %rax      # 0x21139
leaq 0xa824(%rip), %rdx      # 0x2113e
cmpb $0x0, 0x3c(%r15)
cmovneq %rax, %rdx
leaq 0x230(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0xcc6e
leaq 0x9aee(%rip), %rdx      # 0x2042d
leaq 0x230(%rsp), %rsi
movq %r14, %rdi
callq 0xcc6e
leaq 0x230(%rsp), %rdi
callq 0x5120
leaq 0x210(%rsp), %rdi
callq 0x5120
leaq 0x30(%rsp), %rdi
callq 0x5120
leaq 0x1f0(%rsp), %rdi
callq 0x5120
leaq 0x50(%rsp), %rdi
callq 0x5120
leaq 0x1d0(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x1b0(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0xd0(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0xf0(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0x110(%rsp), %rdi
callq 0x5120
movq %r14, %rax
addq $0x250, %rsp            # imm = 0x250
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %r14
leaq 0x230(%rsp), %rdi
callq 0x5120
jmp 0x16a55
movq %rax, %r14
leaq 0x210(%rsp), %rdi
callq 0x5120
jmp 0x16a67
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x5120
jmp 0x16a76
movq %rax, %r14
leaq 0x1f0(%rsp), %rdi
callq 0x5120
jmp 0x16a88
movq %rax, %r14
leaq 0x50(%rsp), %rdi
callq 0x5120
leaq 0x1d0(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x1b0(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0xd0(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0xf0(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0x110(%rsp), %rdi
callq 0x5120
movq %r14, %rdi
callq 0x5410
movq %rax, %r14
jmp 0x16a92
movq %rax, %r14
jmp 0x16a9f
movq %rax, %r14
jmp 0x16aa9
movq %rax, %r14
jmp 0x16ab6
movq %rax, %r14
jmp 0x16ac3
movq %rax, %r14
jmp 0x16ad0
movq %rax, %r14
jmp 0x16add
movq %rax, %r14
jmp 0x16aea
movq %rax, %r14
jmp 0x16af7
movq %rax, %r14
jmp 0x16b04
movq %rax, %r14
jmp 0x16b11
movq %rax, %r14
jmp 0x16b1e
movq %rax, %r14
jmp 0x16b28