// File: /workspace/github_cpp_makefile_star2_O1/bonetblai[P]mdp-engine/ctp3/../engine/hdp.h
// Function: Algorithm::hdp_t<state_t>::solve(state_t const&, Problem::hash_t<state_t>&) const
virtual void solve(const T &s, Problem::hash_t<T> &hash) const {
        reset_stats(hash);
        Heuristic::wrapper_t<T> eval_function(heuristic_);
        hash.set_eval_function(&eval_function);

        std::list<Hash::data_t*> stack, visited;
        Hash::data_t *dptr = hash.data_ptr(s);
        size_t trials = 0;
        while( !dptr->solved() ) {
            size_t index = 0;
            hdp(s, hash, dptr, index, stack, visited);
            assert(stack.empty());
            while( !visited.empty() ) {
                visited.front()->unmark();
                assert(visited.front()->scc_low() == std::numeric_limits<unsigned>::max());
                assert(visited.front()->scc_idx() == std::numeric_limits<unsigned>::max());
                visited.pop_front();
            }
            ++trials;
        }
        hash.set_eval_function(0);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdx, %r14
movq %rsi, %r12
movq %rdi, %rbx
movq (%rdi), %rax
movq %rdx, %rsi
callq *0x30(%rax)
movq %rbx, 0x10(%rsp)
movq 0x10(%rbx), %rax
leaq 0x2e17c(%rip), %rcx     # 0x3dff0
leaq 0x58(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
movq %rdx, 0x40(%r14)
leaq 0x40(%rsp), %rbp
movq %rbp, 0x8(%rbp)
movq %rbp, (%rbp)
xorl %eax, %eax
movq %rax, 0x10(%rbp)
leaq 0x28(%rsp), %r15
movq %r15, 0x8(%r15)
movq %r15, (%r15)
movq %rax, 0x10(%r15)
movq %r14, %rbx
movq %r14, %rdi
movq %r12, 0x18(%rsp)
movq %r12, %rsi
callq 0x1020a
movq %rax, %r13
cmpb $0x0, 0x4(%rax)
jne 0xff48
movl $0xffffffff, %r12d      # imm = 0xFFFFFFFF
movq $0x0, 0x20(%rsp)
movq %r15, (%rsp)
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rbx, %rdx
movq %r13, %rcx
leaq 0x20(%rsp), %r8
movq %rbp, %r9
callq 0x102a0
cmpq %rbp, 0x40(%rsp)
jne 0xffd1
movq %rbp, %r14
movq 0x28(%rsp), %rbp
cmpq %r15, %rbp
je 0xff3e
movq 0x10(%rbp), %rax
movb $0x0, 0x5(%rax)
cmpq %r12, 0x18(%rax)
jne 0xffb2
cmpq %r12, 0x20(%rax)
jne 0xff93
decq 0x38(%rsp)
movq %rbp, %rdi
callq 0x63d0
movq %rbp, %rdi
callq 0x6260
jmp 0xff05
cmpb $0x1, 0x4(%r13)
movq %r14, %rbp
jne 0xfecd
movq $0x0, 0x40(%rbx)
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0xff6a
movq (%rdi), %r14
callq 0x6260
movq %r14, %rdi
cmpq %r15, %r14
jne 0xff5a
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0xff84
movq (%rdi), %r14
callq 0x6260
movq %r14, %rdi
cmpq %rbp, %r14
jne 0xff74
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1db66(%rip), %rdi     # 0x2db00
leaq 0x1daa9(%rip), %rsi     # 0x2da4a
leaq 0x1dab2(%rip), %rcx     # 0x2da5a
movl $0x61, %edx
callq 0x61c0
leaq 0x1db04(%rip), %rdi     # 0x2dabd
leaq 0x1da8a(%rip), %rsi     # 0x2da4a
leaq 0x1da93(%rip), %rcx     # 0x2da5a
movl $0x60, %edx
callq 0x61c0
leaq 0x1da64(%rip), %rdi     # 0x2da3c
leaq 0x1da6b(%rip), %rsi     # 0x2da4a
leaq 0x1da74(%rip), %rcx     # 0x2da5a
movl $0x5d, %edx
callq 0x61c0
jmp 0xfff2
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x1000f
movq (%rdi), %r12
callq 0x6260
movq %r12, %rdi
cmpq %r15, %r12
jne 0xffff
movq 0x40(%rsp), %rdi
cmpq %rbp, %rdi
je 0x10029
movq (%rdi), %r15
callq 0x6260
movq %r15, %rdi
cmpq %rbp, %r15
jne 0x10019
movq %r14, %rdi
callq 0x6410
nop