// File: akinanop[P]mvl-solver/src/Variable.cc
// Function: Variable::Variable(int, int)
Variable::Variable(int var, int domain)
{
	VAR = var;
	VAL = -1;
	DOMAINSIZE = domain;
	ATOMINDEX = new int[DOMAINSIZE];
	ATOMLEVEL = new int[DOMAINSIZE];
	ATOMASSIGN = new int[DOMAINSIZE];
	ATOMCNTPOS = new int[DOMAINSIZE];
	ATOMCNTNEG = new int[DOMAINSIZE];
	VSIDS_SCORE = new double[DOMAINSIZE];
	VSIDS_SCORE_NEG = new double[DOMAINSIZE];
	CLAUSEID = new int[DOMAINSIZE];
	ATOMWATCHPOS = new VARRECORD *[DOMAINSIZE];
	ATOMWATCHNEG = new VARRECORD *[DOMAINSIZE];
	ATOMRECPOS = new vector<int> [DOMAINSIZE];
	ATOMRECNEG = new vector<int> [DOMAINSIZE];
	for(int i=0; i<DOMAINSIZE; i++)
	{ // CHANGED DEFAULT ATOMLEVEL TO -10
		ATOMLEVEL[i] = -10;
		ATOMASSIGN[i] = 0;
		ATOMCNTPOS[i] = 0;
		ATOMCNTNEG[i] = 0;
		VSIDS_SCORE[i] = 0;
		VSIDS_SCORE_NEG[i] = 0;
		CLAUSEID[i] = -10;
		ATOMWATCHPOS[i] = NULL;
		ATOMWATCHNEG[i] = NULL;
		ATOMINDEX[i] = -1;
	}
}

// Assembly:
subq $0x78, %rsp
movq %rdi, 0x70(%rsp)
movl %esi, 0x6c(%rsp)
movl %edx, 0x68(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x48(%rsp)
movl 0x6c(%rsp), %ecx
movl %ecx, (%rax)
movl $0xffffffff, 0x4(%rax)  # imm = 0xFFFFFFFF
movl 0x68(%rsp), %ecx
movl %ecx, 0x8(%rax)
movslq 0x8(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x10(%rax)
movslq 0x8(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x18(%rax)
movslq 0x8(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x20(%rax)
movslq 0x8(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x28(%rax)
movslq 0x8(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x30(%rax)
movslq 0x8(%rax), %rax
movl $0x8, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x38(%rax)
movslq 0x8(%rax), %rax
movl $0x8, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x40(%rax)
movslq 0x8(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x48(%rax)
movslq 0x8(%rax), %rax
movl $0x8, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x50(%rax)
movslq 0x8(%rax), %rax
movl $0x8, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x58(%rax)
movslq 0x8(%rax), %rax
movq %rax, 0x50(%rsp)
movl $0x18, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
addq $0x8, %rdi
setb %al
orb %al, %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x50(%rsp), %rax
movq %rax, (%rcx)
addq $0x8, %rcx
movq %rcx, 0x58(%rsp)
cmpq $0x0, %rax
je 0xc74b
movq 0x58(%rsp), %rax
movq 0x50(%rsp), %rcx
imulq $0x18, %rcx, %rdx
movq %rax, %rcx
addq %rdx, %rcx
movq %rcx, 0x38(%rsp)
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0x62d0
movq 0x30(%rsp), %rax
movq 0x38(%rsp), %rcx
addq $0x18, %rax
cmpq %rcx, %rax
movq %rax, 0x40(%rsp)
jne 0xc724
movq 0x48(%rsp), %rax
movq 0x58(%rsp), %rcx
movq %rcx, 0x60(%rax)
movslq 0x8(%rax), %rax
movq %rax, 0x20(%rsp)
movl $0x18, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
addq $0x8, %rdi
setb %al
orb %al, %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq 0x20(%rsp), %rax
movq %rax, (%rcx)
addq $0x8, %rcx
movq %rcx, 0x28(%rsp)
cmpq $0x0, %rax
je 0xc7eb
movq 0x28(%rsp), %rax
movq 0x20(%rsp), %rcx
imulq $0x18, %rcx, %rdx
movq %rax, %rcx
addq %rdx, %rcx
movq %rcx, 0x10(%rsp)
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x62d0
movq 0x8(%rsp), %rax
movq 0x10(%rsp), %rcx
addq $0x18, %rax
cmpq %rcx, %rax
movq %rax, 0x18(%rsp)
jne 0xc7c4
movq 0x48(%rsp), %rax
movq 0x28(%rsp), %rcx
movq %rcx, 0x68(%rax)
movl $0x0, 0x64(%rsp)
movq 0x48(%rsp), %rcx
movl 0x64(%rsp), %eax
cmpl 0x8(%rcx), %eax
jge 0xc8cc
movq 0x48(%rsp), %rax
movq 0x18(%rax), %rcx
movslq 0x64(%rsp), %rdx
movl $0xfffffff6, (%rcx,%rdx,4) # imm = 0xFFFFFFF6
movq 0x20(%rax), %rcx
movslq 0x64(%rsp), %rdx
movl $0x0, (%rcx,%rdx,4)
movq 0x28(%rax), %rcx
movslq 0x64(%rsp), %rdx
movl $0x0, (%rcx,%rdx,4)
movq 0x30(%rax), %rcx
movslq 0x64(%rsp), %rdx
movl $0x0, (%rcx,%rdx,4)
movq 0x38(%rax), %rcx
movslq 0x64(%rsp), %rdx
xorps %xmm0, %xmm0
movsd %xmm0, (%rcx,%rdx,8)
movq 0x40(%rax), %rcx
movslq 0x64(%rsp), %rdx
xorps %xmm0, %xmm0
movsd %xmm0, (%rcx,%rdx,8)
movq 0x48(%rax), %rcx
movslq 0x64(%rsp), %rdx
movl $0xfffffff6, (%rcx,%rdx,4) # imm = 0xFFFFFFF6
movq 0x50(%rax), %rcx
movslq 0x64(%rsp), %rdx
movq $0x0, (%rcx,%rdx,8)
movq 0x58(%rax), %rcx
movslq 0x64(%rsp), %rdx
movq $0x0, (%rcx,%rdx,8)
movq 0x10(%rax), %rax
movslq 0x64(%rsp), %rcx
movl $0xffffffff, (%rax,%rcx,4) # imm = 0xFFFFFFFF
movl 0x64(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x64(%rsp)
jmp 0xc801
addq $0x78, %rsp
retq
nopw %cs:(%rax,%rax)