// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/ldfs.h
// Function: Algorithm::ldfs_base_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("ldfs(heuristic=") + (heuristic_ == 0 ? std::string("null") : heuristic_->name()) +
          std::string(",epsilon=") + std::to_string(epsilon_) +
          std::string(",type=") + (type_ == 0 ? "regular" : "plus") +
          std::string(",seed=") + std::to_string(seed_) + ")";
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rsi, %r15
movq %rdi, %r14
leaq 0x1213a(%rip), %rsi     # 0x20c1b
leaq 0xd0(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x50e0
movq 0x10(%r15), %rbx
testq %rbx, %rbx
je 0xeb0c
movq (%rbx), %rax
leaq 0x10(%rsp), %rdi
movq %rbx, %rsi
callq *0x18(%rax)
jmp 0xeb22
leaq 0x11ec3(%rip), %rsi     # 0x209d6
leaq 0x10(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0x50e0
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0xcc8d
leaq 0x11e98(%rip), %rsi     # 0x209db
leaq 0xb0(%rsp), %rdi
leaq 0xd(%rsp), %rdx
callq 0x50e0
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0xcc8d
movss 0x20(%r15), %xmm0
leaq 0x90(%rsp), %rdi
callq 0xccf4
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
leaq 0x90(%rsp), %rdx
callq 0xcc8d
leaq 0x12082(%rip), %rsi     # 0x20c2b
leaq 0x70(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x50e0
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xcc8d
cmpl $0x0, 0x1c(%r15)
leaq 0x12054(%rip), %rax     # 0x20c32
leaq 0x11c3f(%rip), %rdx     # 0x20824
cmoveq %rax, %rdx
leaq 0x170(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0xcc6e
leaq 0x11de0(%rip), %rsi     # 0x209e5
leaq 0x50(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0x50e0
leaq 0x190(%rsp), %rdi
leaq 0x170(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xcc8d
movl 0x18(%r15), %esi
leaq 0x30(%rsp), %rdi
callq 0xcd19
leaq 0x1b0(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0xcc8d
leaq 0x117d0(%rip), %rdx     # 0x2042d
leaq 0x1b0(%rsp), %rsi
movq %r14, %rdi
callq 0xcc6e
leaq 0x1b0(%rsp), %rdi
callq 0x5120
leaq 0x30(%rsp), %rdi
callq 0x5120
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0x50(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x110(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0xf0(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0xd0(%rsp), %rdi
callq 0x5120
movq %r14, %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %r14
leaq 0x1b0(%rsp), %rdi
callq 0x5120
jmp 0xed3f
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x5120
jmp 0xed4e
movq %rax, %r14
leaq 0x190(%rsp), %rdi
callq 0x5120
jmp 0xed60
movq %rax, %r14
leaq 0x50(%rsp), %rdi
callq 0x5120
jmp 0xed6f
movq %rax, %r14
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x110(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0xf0(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0xd0(%rsp), %rdi
callq 0x5120
movq %r14, %rdi
callq 0x5410
movq %rax, %r14
jmp 0xed7c
movq %rax, %r14
jmp 0xed89
movq %rax, %r14
jmp 0xed93
movq %rax, %r14
jmp 0xeda0
movq %rax, %r14
jmp 0xedad
movq %rax, %r14
jmp 0xedba
movq %rax, %r14
jmp 0xedc7
movq %rax, %r14
jmp 0xedd4
movq %rax, %r14
jmp 0xedde
nop