// File: 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:
subq $0x268, %rsp            # imm = 0x268
movq %rdi, 0x20(%rsp)
movq %rdi, %rax
movq %rax, 0x28(%rsp)
movq %rdi, 0x260(%rsp)
movq %rsi, 0x258(%rsp)
movq 0x258(%rsp), %rax
movq %rax, 0x30(%rsp)
leaq 0x157(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0x6530
movq 0x38(%rsp), %rdx
leaq 0x2d48f(%rip), %rsi     # 0x5de8e
leaq 0x158(%rsp), %rdi
callq 0x6460
jmp 0x30a0e
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movb $0x0, 0x11e(%rsp)
cmpq $0x0, %rax
jne 0x30a5c
leaq 0x11f(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0x6530
movq 0x18(%rsp), %rdx
movb $0x1, 0x11e(%rsp)
leaq 0x2cf36(%rip), %rsi     # 0x5d981
leaq 0x120(%rsp), %rdi
callq 0x6460
jmp 0x30a5a
jmp 0x30a7a
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rsi
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq 0x120(%rsp), %rdi
callq *%rax
jmp 0x30a78
jmp 0x30a7a
leaq 0x178(%rsp), %rdi
leaq 0x158(%rsp), %rsi
leaq 0x120(%rsp), %rdx
callq 0x201f0
jmp 0x30a99
leaq 0xf7(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0x6530
movq 0x10(%rsp), %rdx
leaq 0x2cecf(%rip), %rsi     # 0x5d986
leaq 0xf8(%rsp), %rdi
callq 0x6460
jmp 0x30ac6
leaq 0x198(%rsp), %rdi
leaq 0x178(%rsp), %rsi
leaq 0xf8(%rsp), %rdx
callq 0x201f0
jmp 0x30ae5
movq 0x30(%rsp), %rax
movss 0x1c(%rax), %xmm0
leaq 0xd0(%rsp), %rdi
callq 0x202e0
jmp 0x30afe
leaq 0x1b8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0x201f0
jmp 0x30b1d
leaq 0xaf(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x6530
movq 0x8(%rsp), %rdx
leaq 0x2d36e(%rip), %rsi     # 0x5dea9
leaq 0xb0(%rsp), %rdi
callq 0x6460
jmp 0x30b4a
leaq 0x1d8(%rsp), %rdi
leaq 0x1b8(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x201f0
jmp 0x30b69
movq 0x30(%rsp), %rax
movl 0x20(%rax), %esi
leaq 0x88(%rsp), %rdi
callq 0x20330
jmp 0x30b80
leaq 0x1f8(%rsp), %rdi
leaq 0x1d8(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x201f0
jmp 0x30b9f
leaq 0x67(%rsp), %rdi
movq %rdi, (%rsp)
callq 0x6530
movq (%rsp), %rdx
leaq 0x2cdd8(%rip), %rsi     # 0x5d990
leaq 0x68(%rsp), %rdi
callq 0x6460
jmp 0x30bc4
leaq 0x218(%rsp), %rdi
leaq 0x1f8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
callq 0x201f0
jmp 0x30be0
movq 0x30(%rsp), %rax
movl 0x18(%rax), %esi
leaq 0x40(%rsp), %rdi
callq 0x20330
jmp 0x30bf4
leaq 0x238(%rsp), %rdi
leaq 0x218(%rsp), %rsi
leaq 0x40(%rsp), %rdx
callq 0x201f0
jmp 0x30c10
movq 0x20(%rsp), %rdi
leaq 0x2c7d1(%rip), %rdx     # 0x5d3ed
leaq 0x238(%rsp), %rsi
callq 0x201a0
jmp 0x30c2b
leaq 0x238(%rsp), %rdi
callq 0x61f0
leaq 0x40(%rsp), %rdi
callq 0x61f0
leaq 0x218(%rsp), %rdi
callq 0x61f0
leaq 0x68(%rsp), %rdi
callq 0x61f0
leaq 0x67(%rsp), %rdi
callq 0x6390
leaq 0x1f8(%rsp), %rdi
callq 0x61f0
leaq 0x88(%rsp), %rdi
callq 0x61f0
leaq 0x1d8(%rsp), %rdi
callq 0x61f0
leaq 0xb0(%rsp), %rdi
callq 0x61f0
leaq 0xaf(%rsp), %rdi
callq 0x6390
leaq 0x1b8(%rsp), %rdi
callq 0x61f0
leaq 0xd0(%rsp), %rdi
callq 0x61f0
leaq 0x198(%rsp), %rdi
callq 0x61f0
leaq 0xf8(%rsp), %rdi
callq 0x61f0
leaq 0xf7(%rsp), %rdi
callq 0x6390
leaq 0x178(%rsp), %rdi
callq 0x61f0
leaq 0x120(%rsp), %rdi
callq 0x61f0
testb $0x1, 0x11e(%rsp)
jne 0x30d0b
jmp 0x30d18
leaq 0x11f(%rsp), %rdi
callq 0x6390
leaq 0x158(%rsp), %rdi
callq 0x61f0
leaq 0x157(%rsp), %rdi
callq 0x6390
movq 0x28(%rsp), %rax
addq $0x268, %rsp            # imm = 0x268
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30fbb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f95
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f61
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f54
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f47
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f2d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f20
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f13
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30f06
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30eef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30ee5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30ed8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
jmp 0x30ece
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x148(%rsp)
movl %eax, 0x144(%rsp)
leaq 0x238(%rsp), %rdi
callq 0x61f0
leaq 0x40(%rsp), %rdi
callq 0x61f0
leaq 0x218(%rsp), %rdi
callq 0x61f0
leaq 0x68(%rsp), %rdi
callq 0x61f0
leaq 0x67(%rsp), %rdi
callq 0x6390
leaq 0x1f8(%rsp), %rdi
callq 0x61f0
leaq 0x88(%rsp), %rdi
callq 0x61f0
leaq 0x1d8(%rsp), %rdi
callq 0x61f0
leaq 0xb0(%rsp), %rdi
callq 0x61f0
leaq 0xaf(%rsp), %rdi
callq 0x6390
leaq 0x1b8(%rsp), %rdi
callq 0x61f0
leaq 0xd0(%rsp), %rdi
callq 0x61f0
leaq 0x198(%rsp), %rdi
callq 0x61f0
leaq 0xf8(%rsp), %rdi
callq 0x61f0
leaq 0xf7(%rsp), %rdi
callq 0x6390
leaq 0x178(%rsp), %rdi
callq 0x61f0
leaq 0x120(%rsp), %rdi
callq 0x61f0
testb $0x1, 0x11e(%rsp)
jne 0x30fa1
jmp 0x30fae
leaq 0x11f(%rsp), %rdi
callq 0x6390
leaq 0x158(%rsp), %rdi
callq 0x61f0
leaq 0x157(%rsp), %rdi
callq 0x6390
movq 0x148(%rsp), %rdi
callq 0x6520
nopw %cs:(%rax,%rax)
nop