// File: DoubleString[P]RtConverter/src/Rnxobs/RnxobsFile_sat.cpp
// Function: bamboo::RnxobsFile_sat::RnxobsFile_sat(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
RnxobsFile_sat::RnxobsFile_sat(string name) :
		Rnxobs() {
	this->staname = name;
	intv = 1.0;
	ver = 2.0;
	x = y = z = e = n = h = 0.0;
	nprn = fact1 = fact2 = nsys = 0;
//	memset(this->usetype,0,sizeof(char) * MAXSYS * MAXFREQ);
//	memset(this->tstore,0,sizeof(int) * MAXSYS * MAXFREQ);

	memset(this->usetype,0,sizeof(char) * MAXSAT * MAXFREQ);
	memset(this->tstore,0,sizeof(int) * MAXSAT * MAXFREQ);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rsi, -0x60(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x40(%rbp)
callq 0x42ea0
movq -0x40(%rbp), %rdi
leaq 0xb7a19(%rip), %rax     # 0xf6888
addq $0x10, %rax
movq %rax, (%rdi)
addq $0x6c30, %rdi           # imm = 0x6C30
movq %rdi, -0x58(%rbp)
callq 0x9a50
movq -0x40(%rbp), %rdi
addq $0x6c50, %rdi           # imm = 0x6C50
movq %rdi, -0x50(%rbp)
callq 0x9a50
movq -0x40(%rbp), %rdi
addq $0x6c70, %rdi           # imm = 0x6C70
movq %rdi, -0x48(%rbp)
callq 0x9a50
movq -0x40(%rbp), %rax
addq $0x6cf0, %rax           # imm = 0x6CF0
movq %rax, -0x38(%rbp)
movq %rax, %rcx
addq $0x2bc0, %rcx           # imm = 0x2BC0
movq %rcx, -0x30(%rbp)
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq %rdi, -0x68(%rbp)
callq 0x9a50
movq -0x68(%rbp), %rax
movq -0x30(%rbp), %rcx
addq $0x20, %rax
cmpq %rcx, %rax
movq %rax, -0x28(%rbp)
jne 0x3eece
movq -0x40(%rbp), %rax
addq $0x98b0, %rax           # imm = 0x98B0
movq %rax, -0x80(%rbp)
movq %rax, %rcx
addq $0x1540, %rcx           # imm = 0x1540
movq %rcx, -0x78(%rbp)
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq 0x9a50
movq -0x88(%rbp), %rax
movq -0x78(%rbp), %rcx
addq $0x20, %rax
cmpq %rcx, %rax
movq %rax, -0x70(%rbp)
jne 0x3ef10
movq -0x40(%rbp), %rdi
addq $0xb820, %rdi           # imm = 0xB820
movq %rdi, -0x90(%rbp)
callq 0x9870
jmp 0x3ef51
movq -0x40(%rbp), %rdi
addq $0xba28, %rdi           # imm = 0xBA28
movq %rdi, -0x98(%rbp)
callq 0x9a50
movq -0x40(%rbp), %rdi
movq -0x60(%rbp), %rsi
addq $0x5fb0, %rdi           # imm = 0x5FB0
callq 0x9070
jmp 0x3ef7e
movq -0x40(%rbp), %rdi
movsd 0x7ced6(%rip), %xmm0    # 0xbbe60
movsd %xmm0, 0x6cc0(%rdi)
movsd 0x7e7b6(%rip), %xmm0    # 0xbd750
movsd %xmm0, 0x6c20(%rdi)
xorps %xmm0, %xmm0
movsd %xmm0, 0x6cb8(%rdi)
xorps %xmm0, %xmm0
movsd %xmm0, 0x6cb0(%rdi)
xorps %xmm0, %xmm0
movsd %xmm0, 0x6ca8(%rdi)
xorps %xmm0, %xmm0
movsd %xmm0, 0x6ca0(%rdi)
xorps %xmm0, %xmm0
movsd %xmm0, 0x6c98(%rdi)
xorps %xmm0, %xmm0
movsd %xmm0, 0x6c90(%rdi)
movl $0x0, 0xae20(%rdi)
movl $0x0, 0x6cd0(%rdi)
movl $0x0, 0x6ccc(%rdi)
movl $0x0, 0x6cc8(%rdi)
addq $0xae24, %rdi           # imm = 0xAE24
xorl %esi, %esi
movl $0x1fe, %edx            # imm = 0x1FE
callq 0x93d0
movq -0x40(%rbp), %rdi
addq $0xb024, %rdi           # imm = 0xB024
xorl %esi, %esi
movl $0x7f8, %edx            # imm = 0x7F8
callq 0x93d0
addq $0xc0, %rsp
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
jmp 0x3f071
movq -0x98(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
callq 0x9480
movq -0x90(%rbp), %rdi
callq 0x9200
movq -0x80(%rbp), %rax
addq $0x1540, %rax           # imm = 0x1540
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xa8(%rbp)
callq 0x9480
movq -0x80(%rbp), %rcx
movq -0xa8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xa0(%rbp)
jne 0x3f082
movq -0x38(%rbp), %rax
addq $0x2bc0, %rax           # imm = 0x2BC0
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xb8(%rbp)
callq 0x9480
movq -0x38(%rbp), %rcx
movq -0xb8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xb0(%rbp)
jne 0x3f0c1
movq -0x48(%rbp), %rdi
callq 0x9480
movq -0x50(%rbp), %rdi
callq 0x9480
movq -0x58(%rbp), %rdi
callq 0x9480
movq -0x40(%rbp), %rdi
callq 0x3ed30
movq -0x18(%rbp), %rdi
callq 0x9d20
nopl (%rax)