// File: 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:
subq $0xe8, %rsp
movq %rdi, 0xe0(%rsp)
movq %rsi, 0xd8(%rsp)
movl %edx, 0xd4(%rsp)
movq %rcx, 0xc8(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x10(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x10(%rax)
movq 0xc8(%rsp), %rdi
callq 0x106d0
cmpl $-0x1, 0xd4(%rsp)
jne 0xba4d
movq 0xc8(%rsp), %rdi
movl $0x1, %esi
callq 0x106f0
movq 0xc8(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0xd8(%rsp), %rsi
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, 0xa0(%rsp)
leaq 0xa8(%rsp), %rdi
movq %rdi, 0x48(%rsp)
leaq 0xa0(%rsp), %rdx
callq 0x10860
movq 0x48(%rsp), %rsi
leaq 0xbc(%rsp), %rdi
callq 0x108a0
jmp 0xb9d1
movq 0x40(%rsp), %rdi
leaq 0xbc(%rsp), %rsi
callq 0x10830
jmp 0xb9e5
leaq 0xbc(%rsp), %rdi
callq 0xd9a0
leaq 0xa8(%rsp), %rdi
callq 0x108e0
jmp 0xbe32
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x98(%rsp)
movl %eax, 0x94(%rsp)
jmp 0xba3b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x98(%rsp)
movl %eax, 0x94(%rsp)
leaq 0xbc(%rsp), %rdi
callq 0xd9a0
leaq 0xa8(%rsp), %rdi
callq 0x108e0
jmp 0xbe3a
movq 0xc8(%rsp), %rdi
movl $0x3, %esi
callq 0x106f0
movq 0x50(%rsp), %rax
movss 0x1c(%rax), %xmm0
movss %xmm0, 0x3c(%rsp)
movq 0xd8(%rsp), %rdi
callq 0x10920
movss 0x3c(%rsp), %xmm0
movl %eax, %edi
addl $0x1, %edi
callq 0x108f0
movq 0x50(%rsp), %rdi
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x90(%rsp)
movq 0xd8(%rsp), %rsi
callq 0x109a0
testb $0x1, %al
jne 0xbab1
jmp 0xbad0
movq 0x50(%rsp), %rax
movss 0x90(%rsp), %xmm0
mulss 0x20(%rax), %xmm0
cvtss2sd %xmm0, %xmm0
movsd %xmm0, 0x30(%rsp)
jmp 0xbadb
xorps %xmm0, %xmm0
movsd %xmm0, 0x30(%rsp)
jmp 0xbadb
movsd 0x30(%rsp), %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x8c(%rsp)
movss 0x90(%rsp), %xmm0
subss 0x8c(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbb9a
movq 0xc8(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0xd8(%rsp), %rsi
movss 0x90(%rsp), %xmm0
movss 0x8c(%rsp), %xmm1
subss %xmm1, %xmm0
movss %xmm0, 0x7c(%rsp)
leaq 0x80(%rsp), %rdi
movq %rdi, 0x28(%rsp)
leaq 0x7c(%rsp), %rdx
callq 0x10a20
movq 0x20(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x10830
jmp 0xbb65
leaq 0x80(%rsp), %rdi
callq 0xd9a0
jmp 0xbb9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x98(%rsp)
movl %eax, 0x94(%rsp)
leaq 0x80(%rsp), %rdi
callq 0xd9a0
jmp 0xbe3a
movss 0x8c(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbc17
movq 0xc8(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0xd8(%rsp), %rsi
leaq 0x70(%rsp), %rdi
movq %rdi, 0x18(%rsp)
leaq 0x8c(%rsp), %rdx
callq 0x10a60
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
callq 0x10830
jmp 0xbbe8
leaq 0x70(%rsp), %rdi
callq 0xd9a0
jmp 0xbc17
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x98(%rsp)
movl %eax, 0x94(%rsp)
leaq 0x70(%rsp), %rdi
callq 0xd9a0
jmp 0xbe3a
movss 0x463e9(%rip), %xmm0    # 0x52008
subss 0x90(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbcb6
movq 0xc8(%rsp), %rax
movq %rax, (%rsp)
movq 0xd8(%rsp), %rsi
movss 0x90(%rsp), %xmm1
movss 0x463af(%rip), %xmm0    # 0x52008
subss %xmm1, %xmm0
movss %xmm0, 0x60(%rsp)
leaq 0x64(%rsp), %rdi
movq %rdi, 0x8(%rsp)
leaq 0x60(%rsp), %rdx
callq 0x10a20
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0x10830
jmp 0xbc87
leaq 0x64(%rsp), %rdi
callq 0xd9a0
jmp 0xbcb6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x98(%rsp)
movl %eax, 0x94(%rsp)
leaq 0x64(%rsp), %rdi
callq 0xd9a0
jmp 0xbe3a
movl $0x0, 0x5c(%rsp)
cmpl $0x0, 0xd4(%rsp)
jne 0xbd58
movss 0x90(%rsp), %xmm0
subss 0x8c(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbd14
movq 0xc8(%rsp), %rdi
movl 0x5c(%rsp), %eax
movl %eax, %ecx
addl $0x1, %ecx
movl %ecx, 0x5c(%rsp)
movl %eax, %eax
movl %eax, %esi
callq 0xcfc0
movq %rax, %rdi
movq 0x50(%rsp), %rax
movl 0x18(%rax), %esi
callq 0x10aa0
movss 0x8c(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbd53
movq 0xc8(%rsp), %rdi
movl 0x5c(%rsp), %eax
movl %eax, %ecx
addl $0x1, %ecx
movl %ecx, 0x5c(%rsp)
movl %eax, %eax
movl %eax, %esi
callq 0xcfc0
movq %rax, %rdi
movq 0x50(%rsp), %rax
movl 0x18(%rax), %esi
callq 0x10b10
jmp 0xbdf1
cmpl $0x1, 0xd4(%rsp)
jne 0xbdef
movss 0x90(%rsp), %xmm0
subss 0x8c(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbdae
movq 0xc8(%rsp), %rdi
movl 0x5c(%rsp), %eax
movl %eax, %ecx
addl $0x1, %ecx
movl %ecx, 0x5c(%rsp)
movl %eax, %eax
movl %eax, %esi
callq 0xcfc0
movq %rax, %rdi
movq 0x50(%rsp), %rax
movl 0x18(%rax), %esi
callq 0x10b10
movss 0x8c(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbded
movq 0xc8(%rsp), %rdi
movl 0x5c(%rsp), %eax
movl %eax, %ecx
addl $0x1, %ecx
movl %ecx, 0x5c(%rsp)
movl %eax, %eax
movl %eax, %esi
callq 0xcfc0
movq %rax, %rdi
movq 0x50(%rsp), %rax
movl 0x18(%rax), %esi
callq 0x10aa0
jmp 0xbdef
jmp 0xbdf1
movss 0x4620f(%rip), %xmm0    # 0x52008
subss 0x90(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jbe 0xbe30
movq 0xc8(%rsp), %rdi
movl 0x5c(%rsp), %eax
movl %eax, %ecx
addl $0x1, %ecx
movl %ecx, 0x5c(%rsp)
movl %eax, %eax
movl %eax, %esi
callq 0xcfc0
movq %rax, %rdi
callq 0x10bd0
jmp 0xbe32
addq $0xe8, %rsp
retq
movq 0x98(%rsp), %rdi
callq 0x6490
nopw (%rax,%rax)