// File: /workspace/github_c_makefile_star2_O0/pwelke[P]GraphMiningTools/poset_pathCover.c
// Function: printFlowInstanceDotFormat
void printFlowInstanceDotFormat(struct Graph* g, FILE* out) {
	fputs("digraph anonymous {\n", out);
	// write vertices
	for (int v=0; v<g->n; ++v) {
		if (g->vertices[v]->visited == 0) {
			fprintf(out, "%i [label=\"%i: %i/%i\"];\n", v, v, g->vertices[v]->visited, g->vertices[v]->d);
		} else {
			fprintf(out, "%i [label=\"%i: %i/%i\", color=green, penwidth=3];\n", v, v, g->vertices[v]->visited, g->vertices[v]->d);
		}
	}
	// write edges
	for (int v=0; v<g->n; ++v) {
		for (struct VertexList* e=g->vertices[v]->neighborhood; e!=NULL; e=e->next) {
			if (e->endPoint->number > e->startPoint->number) {
				if (e->flag > 0) {
					// original edge
					fprintf(out, "%i -> %i [label=\"%i/%i\", penwidth=3, color=red];\n", e->startPoint->number, e->endPoint->number, e->flag, e->used);
				} else {
					fprintf(out, "%i -> %i [label=\"%i/%i\", color=red];\n", e->startPoint->number, e->endPoint->number, e->flag, e->used);
				}
			} else {
				// residual edge
				fprintf(out, "%i -> %i [label=\"%i/%i\"];\n", e->startPoint->number, e->endPoint->number, e->flag, e->used);
			}
		}
	}
	fputs("}\n", out);
}

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x18(%rsp), %rsi
leaq 0xf946(%rip), %rdi      # 0x35db0
callq 0x10a0
movl $0x0, 0x14(%rsp)
movl 0x14(%rsp), %eax
movq 0x20(%rsp), %rcx
cmpl (%rcx), %eax
jge 0x26542
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x14(%rsp), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x0, 0x1c(%rax)
jne 0x264e9
movq 0x18(%rsp), %rdi
movl 0x14(%rsp), %edx
movl 0x14(%rsp), %ecx
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x14(%rsp), %rsi
movq (%rax,%rsi,8), %rax
movl 0x1c(%rax), %r8d
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x14(%rsp), %rsi
movq (%rax,%rsi,8), %rax
movl 0x28(%rax), %r9d
leaq 0xf8e5(%rip), %rsi      # 0x35dc5
movb $0x0, %al
callq 0x1140
jmp 0x26530
movq 0x18(%rsp), %rdi
movl 0x14(%rsp), %edx
movl 0x14(%rsp), %ecx
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x14(%rsp), %rsi
movq (%rax,%rsi,8), %rax
movl 0x1c(%rax), %r8d
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x14(%rsp), %rsi
movq (%rax,%rsi,8), %rax
movl 0x28(%rax), %r9d
leaq 0xf8b5(%rip), %rsi      # 0x35dde
movb $0x0, %al
callq 0x1140
jmp 0x26532
movl 0x14(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x14(%rsp)
jmp 0x26477
movl $0x0, 0x10(%rsp)
movl 0x10(%rsp), %eax
movq 0x20(%rsp), %rcx
cmpl (%rcx), %eax
jge 0x2668d
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x10(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x2667b
movq 0x8(%rsp), %rax
movq 0x18(%rax), %rax
movl 0x18(%rax), %eax
movq 0x8(%rsp), %rcx
movq 0x10(%rcx), %rcx
cmpl 0x18(%rcx), %eax
jle 0x26629
movq 0x8(%rsp), %rax
cmpl $0x0, 0x24(%rax)
jle 0x265ea
movq 0x18(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movl 0x18(%rax), %edx
movq 0x8(%rsp), %rax
movq 0x18(%rax), %rax
movl 0x18(%rax), %ecx
movq 0x8(%rsp), %rax
movl 0x24(%rax), %r8d
movq 0x8(%rsp), %rax
movl 0x20(%rax), %r9d
leaq 0xf82f(%rip), %rsi      # 0x35e10
movb $0x0, %al
callq 0x1140
jmp 0x26627
movq 0x18(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movl 0x18(%rax), %edx
movq 0x8(%rsp), %rax
movq 0x18(%rax), %rax
movl 0x18(%rax), %ecx
movq 0x8(%rsp), %rax
movl 0x24(%rax), %r8d
movq 0x8(%rsp), %rax
movl 0x20(%rax), %r9d
leaq 0xf822(%rip), %rsi      # 0x35e42
movb $0x0, %al
callq 0x1140
jmp 0x26666
movq 0x18(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movl 0x18(%rax), %edx
movq 0x8(%rsp), %rax
movq 0x18(%rax), %rax
movl 0x18(%rax), %ecx
movq 0x8(%rsp), %rax
movl 0x24(%rax), %r8d
movq 0x8(%rsp), %rax
movl 0x20(%rax), %r9d
leaq 0xf809(%rip), %rsi      # 0x35e68
movb $0x0, %al
callq 0x1140
jmp 0x26668
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x26576
jmp 0x2667d
movl 0x10(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x10(%rsp)
jmp 0x2654a
movq 0x18(%rsp), %rsi
leaq 0xed81(%rip), %rdi      # 0x3541a
callq 0x10a0
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)