// File: WShabti-Team[P]WShabtiPict/wshabtilib/api/combination.cpp
// Function: pictcore::Combination::applyExclusion(pictcore::Exclusion&, int, __gnu_cxx::__normal_iterator<pictcore::Parameter**, std::vector<pictcore::Parameter*, std::allocator<pictcore::Parameter*>>>)
void Combination::applyExclusion( Exclusion& excl, int index, ParamCollection::iterator pos )
{
    if( m_params.end() == pos )
    {
        assert( index <= m_range );
        if( OPEN == m_bitvec[ index ] )
        {
            --m_openCount;
            --m_model->GlobalZerosCount;
        }
        m_bitvec[ index ] = EXCLUDED;
    }
    else
    {
        // Is *pos a parameter in the exclusion?
        Exclusion::iterator ie = find_if( excl.begin(),
                                          excl.end(),
                                          bind2nd( MatchParameterPointer(), *pos ) );
        // parameter is bound to a value in the exclusion
        if( excl.end() != ie )
        {
            applyExclusion( excl, index * ( *pos )->GetValueCount() + ie->second, pos + 1 );
        }
        // parameter ranges over all values in the exclusion
        else
        {
            for( int n = 0; n < ( *pos )->GetValueCount(); ++n )
            {
                applyExclusion( excl, index * ( *pos )->GetValueCount() + n, pos + 1 );
            }
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rcx, -0x8(%rbp)
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movl %edx, -0x1c(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0x80(%rbp)
addq $0x8, %rdi
callq 0x8cc0
movq %rax, -0x28(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x8(%rbp), %rsi
callq 0x8ff0
testb $0x1, %al
jne 0x86e2
jmp 0x8752
movq -0x80(%rbp), %rcx
movl -0x1c(%rbp), %eax
cmpl 0x28(%rcx), %eax
jg 0x86f0
jmp 0x870f
leaq 0x5b999(%rip), %rdi     # 0x64090
leaq 0x5b931(%rip), %rsi     # 0x6402f
movl $0xb4, %edx
leaq 0x5b997(%rip), %rcx     # 0x640a1
callq 0x7450
movq -0x80(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x1c(%rbp), %rcx
movzbl (%rax,%rcx), %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jne 0x873d
movq -0x80(%rbp), %rax
movl 0x2c(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x2c(%rax)
movq 0x38(%rax), %rax
movl (%rax), %ecx
addl $-0x1, %ecx
movl %ecx, (%rax)
movq -0x80(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x1c(%rbp), %rcx
movb $-0x1, (%rax,%rcx)
jmp 0x88e3
movq -0x18(%rbp), %rdi
callq 0x9090
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
callq 0x90c0
movq %rax, -0x40(%rbp)
leaq -0x8(%rbp), %rdi
callq 0x8d30
movq %rax, %rsi
leaq -0x51(%rbp), %rdi
callq 0x90f0
movq %rax, -0x48(%rbp)
movq -0x38(%rbp), %rdi
movq -0x40(%rbp), %rsi
movq -0x48(%rbp), %rdx
callq 0x9030
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
callq 0x90c0
movq %rax, -0x60(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x9130
testb $0x1, %al
jne 0x87bd
jmp 0x883f
movq -0x18(%rbp), %rax
movq %rax, -0x90(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x98(%rbp)
leaq -0x8(%rbp), %rdi
callq 0x8d30
movq (%rax), %rdi
callq 0x8eb0
movl %eax, %ecx
movl -0x98(%rbp), %eax
imull %ecx, %eax
movl %eax, -0x94(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x9160
movq %rax, %rcx
movl -0x94(%rbp), %eax
addl 0x8(%rcx), %eax
movl %eax, -0x84(%rbp)
leaq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x9180
movq -0x80(%rbp), %rdi
movq -0x90(%rbp), %rsi
movl -0x84(%rbp), %edx
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rcx
callq 0x86a0
jmp 0x88e1
movl $0x0, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
movl %eax, -0x9c(%rbp)
leaq -0x8(%rbp), %rdi
callq 0x8d30
movq (%rax), %rdi
callq 0x8eb0
movl %eax, %ecx
movl -0x9c(%rbp), %eax
cmpl %ecx, %eax
jge 0x88df
movq -0x18(%rbp), %rax
movq %rax, -0xa8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0xac(%rbp)
leaq -0x8(%rbp), %rdi
callq 0x8d30
movq (%rax), %rdi
callq 0x8eb0
movl %eax, %ecx
movl -0xac(%rbp), %eax
imull %ecx, %eax
addl -0x6c(%rbp), %eax
movl %eax, -0xa0(%rbp)
leaq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x9180
movq -0x80(%rbp), %rdi
movq -0xa8(%rbp), %rsi
movl -0xa0(%rbp), %edx
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rcx
callq 0x86a0
movl -0x6c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x6c(%rbp)
jmp 0x8846
jmp 0x88e1
jmp 0x88e3
addq $0xb0, %rsp
popq %rbp
retq
nopl (%rax)