// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/wet/./wet.h
// Function: problem_t::print(std::ostream&) const
virtual void print(std::ostream &os) const {
        os << "size = " << size_ << std::endl
           << "init = " << init_ << std::endl
           << "goal = " << goal_ << std::endl;
        for( size_t x = 0; x < size_; ++x ) os << "--";
        os << "---" << std::endl;
        for( size_t y = 0; y < size_; ++y ) {
            os << "|";
            for( size_t x = 0; x < size_; ++x ) {
                os << " " << water(x,y);
            }
            os << " |" << std::endl;
        }
        for( size_t x = 0; x < size_; ++x ) os << "--";
        os << "---" << std::endl;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x1c1ed(%rip), %rsi     # 0x2536f
movl $0x7, %edx
movq %rbx, %rdi
callq 0x5260
movq 0x18(%r14), %rsi
movq %rbx, %rdi
callq 0x5170
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5210
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5180
movq %rax, %r15
leaq 0x1c1a8(%rip), %rsi     # 0x25377
movl $0x7, %edx
movq %rax, %rdi
callq 0x5260
leaq 0x20(%r14), %rdi
movq %r15, %rsi
callq 0x9668
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5210
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5180
movq %rax, %r15
leaq 0x1c166(%rip), %rsi     # 0x2537f
movl $0x7, %edx
movq %rax, %rdi
callq 0x5260
leaq 0x24(%r14), %rdi
movq %r15, %rsi
callq 0x9668
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5210
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5180
cmpq $0x0, 0x18(%r14)
je 0x9283
xorl %r12d, %r12d
leaq 0x1c11e(%rip), %r15     # 0x25388
movl $0x2, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x5260
incq %r12
cmpq 0x18(%r14), %r12
jb 0x926a
leaq 0x1c0fd(%rip), %rsi     # 0x25387
movl $0x3, %edx
movq %rbx, %rdi
callq 0x5260
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5210
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5180
cmpq $0x0, 0x18(%r14)
je 0x939b
xorl %ebp, %ebp
leaq 0x1c0b9(%rip), %r12     # 0x2538b
leaq 0x1c0b6(%rip), %r13     # 0x2538f
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x1c0a4(%rip), %rsi     # 0x2538c
callq 0x5260
cmpq $0x0, 0x18(%r14)
je 0x932c
xorl %r15d, %r15d
movl $0x1, %edx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x5260
movq 0x18(%r14), %rax
imulq %r15, %rax
addq 0x28(%r14), %rax
movsbq (%rbp,%rax), %rax
movl %eax, %esi
movq %rbx, %rdi
callq 0x5170
incq %r15
cmpq 0x18(%r14), %r15
jb 0x92f7
movl $0x2, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x5260
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5210
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5180
incq %rbp
movq 0x18(%r14), %rax
cmpq %rax, %rbp
jb 0x92d9
testq %rax, %rax
je 0x939b
xorl %r12d, %r12d
leaq 0x1c006(%rip), %r15     # 0x25388
movl $0x2, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x5260
incq %r12
cmpq 0x18(%r14), %r12
jb 0x9382
leaq 0x1bfe5(%rip), %rsi     # 0x25387
movl $0x3, %edx
movq %rbx, %rdi
callq 0x5260
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5210
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x5180