// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/improved_lao.h
// Function: Algorithm::improved_lao_t<state_t>::policy_graph_t::recompute()
void recompute() {
            std::vector<std::pair<T, float> > outcomes;
            size_ = 0;
            tips_.clear();
            nodes_.clear();

            pair_list open;
            for( vector_iterator si = roots_.begin(); si != roots_.end(); ++si ) {
                Hash::data_t *dptr = hash_.data_ptr(*si);
                open.push_back(std::make_pair(*si, dptr));
                dptr->solve();
                dptr->mark();
            }

            while( !open.empty() ) {
                std::pair<T, Hash::data_t*> n = open.front();
                open.pop_front();

                if( problem_.terminal( n.first ) ) {
                    n.second->set_action(Problem::noop);
                    nodes_.push_front(n);
                    ++size_;
                } else {
                    bool unsolved = false;
                    std::pair<Problem::action_t, float> p = hash_.best_q_value(n.first);
                    assert(p.first != Problem::noop);
                    n.second->set_action(p.first);

                    problem_.next(n.first, p.first, outcomes);
                    unsigned osize = outcomes.size();

                    for( unsigned i = 0; i < osize; ++i ) {
                        if( !hash_.solved(outcomes[i].first) ) {
                            unsolved = true;
                            break;
                        }
                    }

                    ++size_;
                    if( !unsolved ) {
                        for( unsigned i = 0; i < osize; ++i ) {
                            Hash::data_t *dptr = hash_.data_ptr(outcomes[i].first);
                            if( !dptr->marked() ) {
                                open.push_back(std::make_pair(outcomes[i].first, dptr));
                                dptr->solve();
                                dptr->mark();
                            }
                        }
                        nodes_.push_front(n);
                    } else {
                        tips_.push_back(n);
                        n.second->set_action(Problem::noop);
                    }
                }
            }

            // unmark nodes
            for( list_iterator si = nodes_.begin(); si != nodes_.end(); ++si )
                si->second->unmark();
            for( list_iterator si = tips_.begin(); si != tips_.end(); ++si )
                si->second->unmark();
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movq %rdi, %r15
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
xorl %ebx, %ebx
movq %rbx, 0x30(%rsp)
movq %rbx, 0x10(%rdi)
leaq 0x30(%rdi), %r12
movq %r12, %rdi
callq 0x11218
movq %r12, 0x38(%r15)
movq %r12, 0x30(%r15)
movq %rbx, 0x40(%r15)
leaq 0x48(%r15), %r14
movq %r14, %rdi
callq 0x11218
movq %r14, 0x50(%r15)
movq %r14, 0x18(%rsp)
movq %r14, 0x48(%r15)
movq %rbx, 0x58(%r15)
movq %rsp, %rax
movq %rax, 0x8(%rax)
movq %rax, (%rax)
movq %rbx, 0x10(%rax)
movq 0x18(%r15), %r13
cmpq 0x20(%r15), %r13
je 0x108e4
movq %r12, 0x40(%rsp)
xorl %r12d, %r12d
leaq 0x48(%rsp), %rbp
movq 0x8(%r15), %rdi
movq %r13, %rsi
callq 0xefb2
movq %rax, %rbx
leaq 0x4c(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rax)
movups %xmm0, 0x20(%rax)
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %r12, 0x40(%rax)
movb $0x1, 0xa4(%rsp)
movq %r12, 0xa8(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
callq 0xc30a
movq %rbx, 0xb8(%rsp)
movq %rsp, %r14
movq %r14, %rdi
movq %rbp, %rsi
callq 0x11116
movq %rax, %rdi
movq %r14, %rsi
callq 0x5060
incq 0x10(%rsp)
cmpb $0x0, 0xa4(%rsp)
jne 0x10620
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x10620
callq 0x5340
movw $0x101, 0x4(%rbx)       # imm = 0x101
addq $0x70, %r13
cmpq 0x20(%r15), %r13
jne 0x10599
movq (%rsp), %rbx
movq %rsp, %r13
cmpq %r13, %rbx
movq 0x40(%rsp), %r12
je 0x108e4
xorl %r14d, %r14d
leaq 0x10(%rbx), %rsi
leaq 0x4c(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rax)
movups %xmm0, 0x20(%rax)
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %r14, 0x40(%rax)
movb $0x1, 0xa4(%rsp)
movq %r14, 0xa8(%rsp)
leaq 0x48(%rsp), %rbp
movq %rbp, %rdi
callq 0xc30a
movq 0x80(%rbx), %rax
movq %rax, 0xb8(%rsp)
movq (%rsp), %rsi
movq %r13, %rdi
callq 0x11180
movq (%r15), %rdi
movq (%rdi), %rax
movq %rbp, %rsi
callq *0x20(%rax)
testb %al, %al
je 0x106ec
movq 0xb8(%rsp), %rax
movl $0xffffffff, 0x10(%rax) # imm = 0xFFFFFFFF
movq 0x18(%rsp), %rdi
movq (%rdi), %rbx
leaq 0x48(%rsp), %rsi
callq 0x111ae
movq %rax, %rdi
movq %rbx, %rsi
callq 0x5060
incq 0x58(%r15)
incq 0x10(%r15)
jmp 0x108bb
movq 0x8(%r15), %rdi
leaq 0x48(%rsp), %rbx
movq %rbx, %rsi
callq 0xf8b0
cmpl $-0x1, %eax
je 0x1093e
movq 0xb8(%rsp), %rcx
movl %eax, 0x10(%rcx)
movq (%r15), %rdi
movq (%rdi), %r8
movq %rbx, %rsi
movl %eax, %edx
leaq 0x20(%rsp), %rcx
callq *0x60(%r8)
movq %r12, %rbp
movq 0x28(%rsp), %r12
subq 0x20(%rsp), %r12
sarq $0x3, %r12
movabsq $-0x1111111111111111, %rax # imm = 0xEEEEEEEEEEEEEEEF
imulq %rax, %r12
testl %r12d, %r12d
je 0x1088e
movl %r12d, %eax
imulq $0x78, %rax, %rbx
xorl %r13d, %r13d
movq 0x8(%r15), %rdi
movq 0x20(%rsp), %rsi
addq %r13, %rsi
addq $0x8, %rdi
callq 0xf446
testq %rax, %rax
je 0x1085a
movq 0x78(%rax), %rax
cmpb $0x0, 0x4(%rax)
je 0x1085a
addq $0x78, %r13
cmpq %r13, %rbx
jne 0x10757
incq 0x10(%r15)
testl %r12d, %r12d
je 0x10892
xorl %r13d, %r13d
movq 0x8(%r15), %rdi
movq 0x20(%rsp), %rsi
addq %r13, %rsi
callq 0xefb2
movq %rax, %rbp
cmpb $0x0, 0x5(%rax)
jne 0x1084b
movq 0x20(%rsp), %rsi
addq %r13, %rsi
leaq 0xc4(%rsp), %rax
movq %r14, 0x40(%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rax)
movups %xmm0, 0x20(%rax)
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movb $0x1, 0x11c(%rsp)
movq %r14, 0x120(%rsp)
leaq 0xc0(%rsp), %r12
movq %r12, %rdi
callq 0xc30a
movq %rbp, 0x130(%rsp)
movq %rsp, %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x11116
movq %rax, %rdi
movq %r14, %rsi
callq 0x5060
incq 0x10(%rsp)
cmpb $0x0, 0x11c(%rsp)
jne 0x10842
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x10842
callq 0x5340
movw $0x101, 0x4(%rbp)       # imm = 0x101
xorl %r14d, %r14d
addq $0x78, %r13
cmpq %r13, %rbx
jne 0x1079c
jmp 0x10892
incq 0x10(%r15)
movq %rbp, %r12
movq %rbp, %rdi
leaq 0x48(%rsp), %rsi
callq 0x111ae
movq %rax, %rdi
movq %r12, %rsi
callq 0x5060
incq 0x40(%r15)
movq 0xb8(%rsp), %rax
movl $0xffffffff, 0x10(%rax) # imm = 0xFFFFFFFF
jmp 0x108b8
incq 0x10(%r15)
movq 0x18(%rsp), %rdi
movq (%rdi), %rbx
leaq 0x48(%rsp), %rsi
callq 0x111ae
movq 0x40(%rsp), %r12
movq %rax, %rdi
movq %rbx, %rsi
callq 0x5060
incq 0x58(%r15)
movq %rsp, %r13
cmpb $0x0, 0xa4(%rsp)
jne 0x108d7
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x108d7
callq 0x5340
movq (%rsp), %rbx
cmpq %r13, %rbx
jne 0x1064c
movq 0x18(%rsp), %rdx
movq (%rdx), %rax
cmpq %rdx, %rax
je 0x10901
movq 0x80(%rax), %rcx
movb $0x0, 0x5(%rcx)
movq (%rax), %rax
jmp 0x108ec
movq (%r12), %rax
cmpq %r12, %rax
je 0x1091a
movq 0x80(%rax), %rcx
movb $0x0, 0x5(%rcx)
movq (%rax), %rax
jmp 0x10905
movq %rsp, %rdi
callq 0x11218
leaq 0x20(%rsp), %rdi
callq 0xd12e
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1b211(%rip), %rdi     # 0x2bb56
leaq 0x1b223(%rip), %rsi     # 0x2bb6f
leaq 0x1b235(%rip), %rcx     # 0x2bb88
movl $0x58, %edx
callq 0x51c0
jmp 0x10993
jmp 0x1098a
jmp 0x10993
jmp 0x10993
movq %rax, %rbx
cmpb $0x0, 0x11c(%rsp)
jne 0x10996
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x10996
callq 0x5340
jmp 0x10996
jmp 0x10993
jmp 0x1098a
movq %rax, %rbx
jmp 0x109b2
jmp 0x10993
jmp 0x10993
movq %rax, %rbx
cmpb $0x0, 0xa4(%rsp)
jne 0x109b2
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x109b2
callq 0x5340
movq %rsp, %rdi
callq 0x11218
leaq 0x20(%rsp), %rdi
callq 0xd12e
movq %rbx, %rdi
callq 0x5410