// File: /workspace/github_cpp_makefile_star2_O3/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 $0x58, %rsp
movq %rdx, %r14
movq %rsi, %r13
movq %rdi, %rbx
movq (%rdi), %rax
movq %rdx, %rsi
callq *0x30(%rax)
movq %rbx, 0x20(%rsp)
movq 0x10(%rbx), %rax
leaq 0x2d58a(%rip), %rcx     # 0x3c1a0
leaq 0x48(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
movq %rdx, 0x40(%r14)
leaq 0x8(%rsp), %rcx
movq %rcx, 0x8(%rcx)
movq %rcx, (%rcx)
xorl %eax, %eax
movq %rax, 0x10(%rcx)
leaq 0x30(%rsp), %r15
movq %r15, 0x8(%r15)
movq %r15, (%r15)
movq %rax, 0x10(%r15)
movq %r14, %rbx
movq %r14, %rdi
movq %r13, %r12
movq %r13, %rsi
callq 0xefb2
movq %rax, %r13
cmpb $0x0, 0x4(%rax)
je 0xec69
movq 0x30(%rsp), %rbp
jmp 0xece7
movl $0xffffffff, %r14d      # imm = 0xFFFFFFFF
movq $0x0, 0x28(%rsp)
movq %r15, (%rsp)
movq 0x20(%rsp), %rdi
movq %r12, %rsi
movq %rbx, %rdx
movq %r13, %rcx
leaq 0x28(%rsp), %r8
leaq 0x8(%rsp), %rbp
movq %rbp, %r9
callq 0xf048
cmpq %rbp, 0x8(%rsp)
jne 0xed74
movq 0x30(%rsp), %rbp
cmpq %r15, %rbp
je 0xece0
movq 0x10(%rbp), %rax
movb $0x0, 0x5(%rax)
cmpq %r14, 0x18(%rax)
jne 0xed55
cmpq %r14, 0x20(%rax)
jne 0xed36
decq 0x40(%rsp)
movq %rbp, %rdi
callq 0x53d0
movq %rbp, %rdi
callq 0x5260
jmp 0xeca7
cmpb $0x1, 0x4(%r13)
jne 0xec6f
movq $0x0, 0x40(%rbx)
cmpq %r15, %rbp
je 0xed08
movq (%rbp), %r14
movq %rbp, %rdi
callq 0x5260
movq %r14, %rbp
cmpq %r15, %r14
jne 0xecf4
movq 0x8(%rsp), %rdi
leaq 0x8(%rsp), %rbx
cmpq %rbx, %rdi
je 0xed27
movq (%rdi), %r14
callq 0x5260
movq %r14, %rdi
cmpq %rbx, %r14
jne 0xed17
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1cdbe(%rip), %rdi     # 0x2bafb
leaq 0x1cd01(%rip), %rsi     # 0x2ba45
leaq 0x1cd0a(%rip), %rcx     # 0x2ba55
movl $0x61, %edx
callq 0x51c0
leaq 0x1cd5c(%rip), %rdi     # 0x2bab8
leaq 0x1cce2(%rip), %rsi     # 0x2ba45
leaq 0x1cceb(%rip), %rcx     # 0x2ba55
movl $0x60, %edx
callq 0x51c0
leaq 0x1ccbc(%rip), %rdi     # 0x2ba37
leaq 0x1ccc3(%rip), %rsi     # 0x2ba45
leaq 0x1cccc(%rip), %rcx     # 0x2ba55
movl $0x5d, %edx
callq 0x51c0
jmp 0xed95
movq %rax, %r14
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xedb2
movq (%rdi), %r12
callq 0x5260
movq %r12, %rdi
cmpq %r15, %r12
jne 0xeda2
movq 0x8(%rsp), %rdi
leaq 0x8(%rsp), %rbx
cmpq %rbx, %rdi
je 0xedd1
movq (%rdi), %r15
callq 0x5260
movq %r15, %rdi
cmpq %rbx, %r15
jne 0xedc1
movq %r14, %rdi
callq 0x5410
nop