// File: fjamour[P]icentral/src/qube.cc
// Function: graph_t::print_mucs(bool)
void graph_t::print_mucs(bool with_nodes)
{
    for(int i = 0; i < muc_vec.size(); ++i) {
        if(!muc_vec[i].valid)
            continue;
        printf("MUC [%d] ====================================\n", i);
        printf("Connection vertices: ");
        for(muc_t::conn_vert_map_t::iterator
            it =  muc_vec[i].conn_vertex_map.begin();
            it != muc_vec[i].conn_vertex_map.end();
            ++it) {
            printf("[%d |G|=%d] ", it->first, muc_vec[i].subgraph_map[it->first].size());
        }
        printf("\n");
        printf("Bridges: ");
        for(muc_t::conn_vert_map_t::iterator
            it =  muc_vec[i].conn_vertex_map.begin();
            it != muc_vec[i].conn_vertex_map.end();
            ++it) {
            for(vector<node_id_t>::iterator it2 = it->second.begin();
                it2 != it->second.end(); ++it2) {
                printf("[%d == %d] ", it->first, *it2);
            }
            
        }
        printf("\n");
        muc_vec[i].muc_subgraph.print_graph(with_nodes);
    }
}

// Assembly:
subq $0x88, %rsp
movb %sil, %al
movq %rdi, 0x80(%rsp)
andb $0x1, %al
movb %al, 0x7f(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x20(%rsp)
movl $0x0, 0x78(%rsp)
movq 0x20(%rsp), %rdi
movslq 0x78(%rsp), %rax
movq %rax, 0x18(%rsp)
addq $0x60, %rdi
callq 0x6e040
movq %rax, %rcx
movq 0x18(%rsp), %rax
cmpq %rcx, %rax
jae 0x6849f
movq 0x20(%rsp), %rdi
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
testb $0x1, 0x30c(%rax)
jne 0x68257
jmp 0x6848f
movl 0x78(%rsp), %esi
leaq 0x1409c(%rip), %rdi     # 0x7c2fe
movb $0x0, %al
callq 0x9040
leaq 0x140bd(%rip), %rdi     # 0x7c32d
movb $0x0, %al
callq 0x9040
movq 0x20(%rsp), %rdi
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
movq %rax, %rdi
callq 0x6e360
movq %rax, 0x68(%rsp)
movq %rdx, 0x70(%rsp)
movq 0x20(%rsp), %rdi
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
movq %rax, %rdi
callq 0x6e3c0
movq %rax, 0x58(%rsp)
movq %rdx, 0x60(%rsp)
leaq 0x68(%rsp), %rdi
leaq 0x58(%rsp), %rsi
callq 0x6e3a0
testb $0x1, %al
jne 0x682d6
jmp 0x68345
leaq 0x68(%rsp), %rdi
callq 0x32f00
movq 0x20(%rsp), %rdi
movl (%rax), %eax
movl %eax, 0x14(%rsp)
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
addq $0x30, %rax
movq %rax, 0x8(%rsp)
leaq 0x68(%rsp), %rdi
callq 0x32f00
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x6e500
movq %rax, %rdi
callq 0x52790
movl 0x14(%rsp), %esi
movq %rax, %rdx
leaq 0x14014(%rip), %rdi     # 0x7c343
movb $0x0, %al
callq 0x9040
leaq 0x68(%rsp), %rdi
callq 0x6e4d0
jmp 0x6829c
leaq 0x13ad6(%rip), %rdi     # 0x7be22
movb $0x0, %al
callq 0x9040
leaq 0x13ff6(%rip), %rdi     # 0x7c350
movb $0x0, %al
callq 0x9040
movq 0x20(%rsp), %rdi
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
movq %rax, %rdi
callq 0x6e360
movq %rax, 0x48(%rsp)
movq %rdx, 0x50(%rsp)
movq 0x20(%rsp), %rdi
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
movq %rax, %rdi
callq 0x6e3c0
movq %rax, 0x38(%rsp)
movq %rdx, 0x40(%rsp)
leaq 0x48(%rsp), %rdi
leaq 0x38(%rsp), %rsi
callq 0x6e3a0
testb $0x1, %al
jne 0x683c3
jmp 0x68459
leaq 0x48(%rsp), %rdi
callq 0x32f00
movq %rax, %rdi
addq $0x8, %rdi
callq 0x10cf0
movq %rax, 0x30(%rsp)
leaq 0x48(%rsp), %rdi
callq 0x32f00
movq %rax, %rdi
addq $0x8, %rdi
callq 0x10d20
movq %rax, 0x28(%rsp)
leaq 0x30(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x55af0
testb $0x1, %al
jne 0x6840e
jmp 0x68448
leaq 0x48(%rsp), %rdi
callq 0x32f00
movl (%rax), %eax
movl %eax, 0x4(%rsp)
leaq 0x30(%rsp), %rdi
callq 0x1fae0
movl 0x4(%rsp), %esi
movl (%rax), %edx
leaq 0x13f25(%rip), %rdi     # 0x7c35a
movb $0x0, %al
callq 0x9040
leaq 0x30(%rsp), %rdi
callq 0x1fac0
jmp 0x683de
jmp 0x6844a
leaq 0x48(%rsp), %rdi
callq 0x6e4d0
jmp 0x68386
leaq 0x139c2(%rip), %rdi     # 0x7be22
movb $0x0, %al
callq 0x9040
movq 0x20(%rsp), %rdi
addq $0x60, %rdi
movslq 0x78(%rsp), %rsi
callq 0x4dcb0
movq %rax, %rdi
addq $0x60, %rdi
movb 0x7f(%rsp), %al
andb $0x1, %al
movzbl %al, %esi
callq 0x527a0
movl 0x78(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x78(%rsp)
jmp 0x6820d
addq $0x88, %rsp
retq
nopw (%rax,%rax)