// File: vsklad[P]cgen/./bal/cnf/io/cnfdimacs.hpp
// Function: bal::DimacsStreamWriter::write_parameters(bal::Cnf const&)
virtual void write_parameters(const Cnf& value) {
            const formula_parameters_t parameters = value.get_parameters();
            for (auto it = parameters.begin(); it != parameters.end(); it++) {
                if (it->first.compare("writer") != 0) {
                    write_parameter(it->first, it->second);
                };
            };
            if (!value.is_empty()) {
                std::string writer_parameters = "is_sorted: 1, literals_order: \"ascending\", literals_compare_order: ";
                writer_parameters += (value.is_compare_left_right() ? "\"left-right\"" : "\"right-left\"");
                write_parameter("writer", writer_parameters);
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0x10(%rbp), %rdi
callq 0x555d0
movq %rax, %rsi
leaq -0x40(%rbp), %rdi
callq 0x3a500
leaq -0x40(%rbp), %rdi
callq 0x3a530
movq %rax, -0x48(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x3a590
movq %rax, -0x50(%rbp)
leaq -0x48(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x3a560
testb $0x1, %al
jne 0x3a223
jmp 0x3a2a8
leaq -0x48(%rbp), %rdi
callq 0x3a5c0
movq %rax, %rdi
leaq 0x2a23a(%rip), %rsi     # 0x64470
callq 0xd0e0
cmpl $0x0, %eax
je 0x3a292
leaq -0x48(%rbp), %rdi
movq %rdi, -0xd0(%rbp)
callq 0x3a5c0
movq -0xd0(%rbp), %rdi
movq %rax, -0xc8(%rbp)
callq 0x3a5c0
movq -0xc0(%rbp), %rdi
movq -0xc8(%rbp), %rsi
movq %rax, %rdx
addq $0x20, %rdx
callq 0x3a5f0
jmp 0x3a27f
jmp 0x3a292
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3a445
jmp 0x3a294
leaq -0x48(%rbp), %rdi
xorl %esi, %esi
callq 0x3a670
movq %rax, -0x68(%rbp)
jmp 0x3a200
movq -0x10(%rbp), %rdi
movq (%rdi), %rax
movq 0x50(%rax), %rax
callq *%rax
movb %al, -0xd1(%rbp)
jmp 0x3a2bd
movb -0xd1(%rbp), %al
testb $0x1, %al
jne 0x3a433
jmp 0x3a2cd
leaq -0x89(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0xd5b0
movq -0xe0(%rbp), %rdx
leaq 0x2a189(%rip), %rsi     # 0x64477
leaq -0x88(%rbp), %rdi
callq 0xd440
jmp 0x3a2fc
leaq -0x89(%rbp), %rdi
callq 0xd370
movq -0x10(%rbp), %rdi
callq 0x3a6b0
movb %al, -0xe1(%rbp)
jmp 0x3a319
movb -0xe1(%rbp), %al
testb $0x1, %al
jne 0x3a325
jmp 0x3a335
leaq 0x2a18f(%rip), %rax     # 0x644bb
movq %rax, -0xf0(%rbp)
jmp 0x3a345
leaq 0x2a18c(%rip), %rax     # 0x644c8
movq %rax, -0xf0(%rbp)
jmp 0x3a345
movq -0xf0(%rbp), %rsi
leaq -0x88(%rbp), %rdi
callq 0xd300
jmp 0x3a35a
leaq -0xb1(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0xd5b0
movq -0xf8(%rbp), %rdx
leaq 0x2a0f5(%rip), %rsi     # 0x64470
leaq -0xb0(%rbp), %rdi
callq 0xd440
jmp 0x3a389
movq -0xc0(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
leaq -0x88(%rbp), %rdx
callq 0x3a5f0
jmp 0x3a3a5
leaq -0xb0(%rbp), %rdi
callq 0xd1b0
leaq -0xb1(%rbp), %rdi
callq 0xd370
leaq -0x88(%rbp), %rdi
callq 0xd1b0
jmp 0x3a433
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x89(%rbp), %rdi
callq 0xd370
jmp 0x3a445
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3a425
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3a419
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0xd1b0
leaq -0xb1(%rbp), %rdi
callq 0xd370
leaq -0x88(%rbp), %rdi
callq 0xd1b0
jmp 0x3a445
leaq -0x40(%rbp), %rdi
callq 0x349d0
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
leaq -0x40(%rbp), %rdi
callq 0x349d0
movq -0x58(%rbp), %rdi
callq 0xd5a0
nopw (%rax,%rax)