// File: /workspace/github_cpp_makefile_star2_O2/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 0x7702
movq %rax, 0x8(%rbx)
cmpl $-0x1, %ebp
je 0x775c
pushq $0x3
popq %rsi
movq %rbx, %rdi
callq 0x8644
cvtss2sd 0x1c(%r14), %xmm0
movsd %xmm0, 0x10(%rsp)
movq %r15, %rdi
callq 0x86ce
incl %eax
cvtsi2sd %rax, %xmm1
movsd 0x10(%rsp), %xmm0
callq 0x5370
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x10(%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x86fe
testb %al, %al
jne 0x7786
xorps %xmm2, %xmm2
movss 0x10(%rsp), %xmm0
jmp 0x7796
pushq $0x1
popq %rsi
movq %rbx, %rdi
callq 0x8644
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movl $0x3f800000, 0x8(%rsi)  # imm = 0x3F800000
movq %rbx, %rdi
callq 0x8870
jmp 0x78ef
movss 0x20(%r14), %xmm2
movss 0x10(%rsp), %xmm0
mulss %xmm0, %xmm2
ucomiss %xmm0, %xmm2
movss %xmm2, 0xc(%rsp)
jae 0x77cf
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 0x8870
movss 0x10(%rsp), %xmm0
movss 0xc(%rsp), %xmm2
xorps %xmm3, %xmm3
ucomiss %xmm3, %xmm2
jbe 0x77fe
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movss %xmm2, 0x8(%rsi)
movq %rbx, %rdi
callq 0x8870
xorps %xmm3, %xmm3
movss 0x10(%rsp), %xmm0
movss 0xc(%rsp), %xmm2
movss 0x147fe(%rip), %xmm1    # 0x1c004
subss %xmm0, %xmm1
ucomiss %xmm3, %xmm1
movss %xmm1, 0x8(%rsp)
jbe 0x783f
movq (%r15), %rax
leaq 0x18(%rsp), %rsi
movq %rax, (%rsi)
movss %xmm1, 0x8(%rsi)
movq %rbx, %rdi
callq 0x8870
movss 0x10(%rsp), %xmm0
movss 0xc(%rsp), %xmm2
movss 0x8(%rsp), %xmm1
xorl %r15d, %r15d
cmpl $0x1, %ebp
je 0x7893
testl %ebp, %ebp
jne 0x78d8
xorl %r15d, %r15d
ucomiss %xmm0, %xmm2
jae 0x7873
movq (%rbx), %rdi
movl 0x18(%r14), %esi
callq 0x8720
movss 0xc(%rsp), %xmm2
movss 0x8(%rsp), %xmm1
pushq $0x1
popq %r15
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm2
jbe 0x78d8
movl %r15d, %eax
incl %r15d
imulq $0xc, %rax, %rdi
addq (%rbx), %rdi
movl 0x18(%r14), %esi
callq 0x8736
jmp 0x78d2
ucomiss %xmm0, %xmm2
jae 0x78b4
movq (%rbx), %rdi
movl 0x18(%r14), %esi
callq 0x8736
movss 0xc(%rsp), %xmm2
movss 0x8(%rsp), %xmm1
pushq $0x1
popq %r15
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm2
jbe 0x78d8
movl %r15d, %eax
incl %r15d
imulq $0xc, %rax, %rdi
addq (%rbx), %rdi
movl 0x18(%r14), %esi
callq 0x8720
movss 0x8(%rsp), %xmm1
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm1
jbe 0x78ef
movl %r15d, %eax
imulq $0xc, %rax, %rdi
addq (%rbx), %rdi
callq 0x877c
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq