// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/tree/./tree.h
// Function: problem_t::next(state_t const&, int, std::vector<std::pair<state_t, float>, std::allocator<std::pair<state_t, float>>>&) const
virtual void next(const state_t &s, Problem::action_t a, std::vector<std::pair<state_t, float> > &outcomes) const {
        ++expansions_;
        outcomes.clear();
        if( a == Problem::noop ) {
            outcomes.reserve(1);
            outcomes.push_back(std::make_pair(s, 1.0));
        } else {
            outcomes.reserve(3);
            float p = pow(p_, 1 + s.onebits());
            float q = noisy(s) ? p * q_ : 0.0;
            if( p - q > 0 ) outcomes.push_back(std::make_pair(s, p - q));
            if( q > 0 ) outcomes.push_back(std::make_pair(s, q));
            if( 1 - p > 0 ) outcomes.push_back(std::make_pair(s, 1 - p));

            unsigned j = 0;
            if( a == onelfwd ) {
                if( p - q > 0 ) outcomes[j++].first.onelfwd(n_);
                if( q > 0 ) outcomes[j++].first.onerfwd(n_);
            } else if( a == onerfwd ) {
                if( p - q > 0 ) outcomes[j++].first.onerfwd(n_);
                if( q > 0 ) outcomes[j++].first.onelfwd(n_);
            }
            if( 1 - p > 0 ) outcomes[j++].first.onebwd();
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rcx, %rbx
movl %edx, %ebp
movq %rdi, %r14
incq 0x10(%rdi)
movq %rsi, %r15
movq (%rcx), %rax
cmpq %rax, 0x8(%rcx)
je 0x8ab6
movq %rax, 0x8(%rbx)
cmpl $-0x1, %ebp
je 0x8c60
movl $0x3, %esi
movq %rbx, %rdi
callq 0x987e
movl $0x3ffffff, %eax        # imm = 0x3FFFFFF
andl (%r15), %eax
movss 0x1c(%r14), %xmm0
movl 0x4(%r15), %edx
xorl %ecx, %ecx
movl $0x20, %esi
movl %eax, %edi
andl $0x1, %edi
addl %ecx, %edi
shrl %eax
movl %edx, %ecx
andl $0x1, %ecx
addl %edi, %ecx
shrl %edx
decl %esi
jne 0x8ae5
incl %ecx
cvtss2sd %xmm0, %xmm0
cvtsi2sd %rcx, %xmm1
callq 0x5360
cvtsd2ss %xmm0, %xmm0
xorps %xmm2, %xmm2
ucomiss 0x24(%r14), %xmm2
movss %xmm0, 0x10(%rsp)
jae 0x8b43
leaq 0x30(%r14), %rdi
movq %r15, %rsi
callq 0x9b92
movss 0x10(%rsp), %xmm0
xorps %xmm2, %xmm2
testq %rax, %rax
je 0x8b43
movss 0x20(%r14), %xmm2
mulss %xmm0, %xmm2
ucomiss %xmm0, %xmm2
movss %xmm2, 0x14(%rsp)
jae 0x8b7c
movss 0x10(%rsp), %xmm0
subss %xmm2, %xmm0
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movss %xmm0, 0x8(%rsi)
movq %rbx, %rdi
callq 0x99fa
movss 0x10(%rsp), %xmm0
movss 0x14(%rsp), %xmm2
xorps %xmm3, %xmm3
ucomiss %xmm3, %xmm2
jbe 0x8bab
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movss %xmm2, 0x8(%rsi)
movq %rbx, %rdi
callq 0x99fa
xorps %xmm3, %xmm3
movss 0x10(%rsp), %xmm0
movss 0x14(%rsp), %xmm2
movss 0x1c455(%rip), %xmm1    # 0x25008
subss %xmm0, %xmm1
ucomiss %xmm3, %xmm1
jbe 0x8bec
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movss %xmm1, 0x8(%rsi)
movq %rbx, %rdi
movss %xmm1, 0xc(%rsp)
callq 0x99fa
movss 0x10(%rsp), %xmm0
movss 0x14(%rsp), %xmm2
movss 0xc(%rsp), %xmm1
xorl %r15d, %r15d
cmpl $0x1, %ebp
je 0x8c89
testl %ebp, %ebp
jne 0x8ce5
xorl %r15d, %r15d
ucomiss %xmm0, %xmm2
jae 0x8c2a
movq (%rbx), %rax
movl 0x18(%r14), %edx
movl (%rax), %ecx
movl %ecx, %esi
shrl $0x1a, %esi
decl %edx
movl $0x1, %r15d
cmpl %edx, %esi
jae 0x8c2a
addl $0x4000000, %ecx        # imm = 0x4000000
movl %ecx, (%rax)
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm2
jbe 0x8ce5
movl %r15d, %eax
incl %r15d
leaq (%rax,%rax,2), %rdi
shll $0x2, %edi
addq (%rbx), %rdi
movl 0x18(%r14), %esi
movss %xmm1, 0xc(%rsp)
callq 0x9910
movss 0xc(%rsp), %xmm1
jmp 0x8ce5
movl $0x1, %esi
movq %rbx, %rdi
callq 0x987e
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movl $0x3f800000, 0x8(%rsi)  # imm = 0x3F800000
movq %rbx, %rdi
callq 0x99fa
jmp 0x8cff
ucomiss %xmm0, %xmm2
jae 0x8cb2
movq (%rbx), %rdi
movl 0x18(%r14), %esi
movss %xmm1, 0xc(%rsp)
callq 0x9910
movss 0x14(%rsp), %xmm2
movss 0xc(%rsp), %xmm1
movl $0x1, %r15d
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm2
jbe 0x8ce5
movl %r15d, %ecx
incl %r15d
movq (%rbx), %rax
leaq (%rcx,%rcx,2), %rdx
movl 0x18(%r14), %esi
movl (%rax,%rdx,4), %ecx
movl %ecx, %edi
shrl $0x1a, %edi
decl %esi
cmpl %esi, %edi
jae 0x8ce5
leaq (%rax,%rdx,4), %rax
addl $0x4000000, %ecx        # imm = 0x4000000
movl %ecx, (%rax)
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm1
jbe 0x8cff
movl %r15d, %eax
leaq (%rax,%rax,2), %rdi
shll $0x2, %edi
addq (%rbx), %rdi
callq 0x9958
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq