// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/value_iteration.h
// Function: Algorithm::value_iteration_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("value-iteration(heuristic=") + (heuristic_ == 0 ? std::string("null") : heuristic_->name()) +
          std::string(",epsilon=") + std::to_string(epsilon_) +
          std::string(",max-number-iterations=") + std::to_string(max_number_iterations_) +
          std::string(",seed=") + std::to_string(seed_) + ")";
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x1f0, %rsp            # imm = 0x1F0
movq %rsi, %r15
movq %rdi, %r14
leaq 0xef26(%rip), %rsi      # 0x20eb9
leaq 0xf0(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x50e0
movq 0x10(%r15), %rbx
testq %rbx, %rbx
je 0x11fbe
movq (%rbx), %rax
leaq 0x10(%rsp), %rdi
movq %rbx, %rsi
callq *0x18(%rax)
jmp 0x11fd4
leaq 0xea11(%rip), %rsi      # 0x209d6
leaq 0x10(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0x50e0
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0xcc8d
leaq 0xe9e6(%rip), %rsi      # 0x209db
leaq 0xd0(%rsp), %rdi
leaq 0xd(%rsp), %rdx
callq 0x50e0
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0xcc8d
movss 0x1c(%r15), %xmm0
leaq 0xb0(%rsp), %rdi
callq 0xccf4
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0xcc8d
leaq 0xee79(%rip), %rsi      # 0x20ed4
leaq 0x90(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x50e0
leaq 0x170(%rsp), %rdi
leaq 0x150(%rsp), %rsi
leaq 0x90(%rsp), %rdx
callq 0xcc8d
movl 0x20(%r15), %esi
leaq 0x70(%rsp), %rdi
callq 0xcd19
leaq 0x190(%rsp), %rdi
leaq 0x170(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xcc8d
leaq 0xe92c(%rip), %rsi      # 0x209e5
leaq 0x50(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0x50e0
leaq 0x1b0(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xcc8d
movl 0x18(%r15), %esi
leaq 0x30(%rsp), %rdi
callq 0xcd19
leaq 0x1d0(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0xcc8d
leaq 0xe31c(%rip), %rdx      # 0x2042d
leaq 0x1d0(%rsp), %rsi
movq %r14, %rdi
callq 0xcc6e
leaq 0x1d0(%rsp), %rdi
callq 0x5120
leaq 0x30(%rsp), %rdi
callq 0x5120
leaq 0x1b0(%rsp), %rdi
callq 0x5120
leaq 0x50(%rsp), %rdi
callq 0x5120
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0xd0(%rsp), %rdi
callq 0x5120
leaq 0x110(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0xf0(%rsp), %rdi
callq 0x5120
movq %r14, %rax
addq $0x1f0, %rsp            # imm = 0x1F0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %r14
leaq 0x1d0(%rsp), %rdi
callq 0x5120
jmp 0x12200
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x5120
jmp 0x1220f
movq %rax, %r14
leaq 0x1b0(%rsp), %rdi
callq 0x5120
jmp 0x12221
movq %rax, %r14
leaq 0x50(%rsp), %rdi
callq 0x5120
jmp 0x12230
movq %rax, %r14
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0xd0(%rsp), %rdi
callq 0x5120
leaq 0x110(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0xf0(%rsp), %rdi
callq 0x5120
movq %r14, %rdi
callq 0x5410
movq %rax, %r14
jmp 0x1223d
movq %rax, %r14
jmp 0x12247
movq %rax, %r14
jmp 0x12254
movq %rax, %r14
jmp 0x12261
movq %rax, %r14
jmp 0x1226e
movq %rax, %r14
jmp 0x1227b
movq %rax, %r14
jmp 0x12288
movq %rax, %r14
jmp 0x12295
movq %rax, %r14
jmp 0x122a2
movq %rax, %r14
jmp 0x122ac
nop