// File: /workspace/github_c_makefile_star2_O3/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_reset
void
aiger_reset (aiger * public)
{
  unsigned i;

  IMPORT_private_FROM (public);

  aiger_delete_symbols (private, public->inputs, private->size_inputs);
  aiger_delete_symbols (private, public->latches, private->size_latches);
  aiger_delete_symbols (private, public->outputs, private->size_outputs);
  aiger_delete_symbols (private, public->bad, private->size_bad);
  aiger_delete_symbols (private, public->constraints,
                        private->size_constraints);
  for (i = 0; i < public->num_justice; i++)
    DELETEN (public->justice[i].lits, public->justice[i].size);
  aiger_delete_symbols (private, public->justice, private->size_justice);
  aiger_delete_symbols (private, public->fairness, private->size_fairness);
  DELETEN (public->ands, private->size_ands);

  aiger_delete_comments (public);
  DELETEN (public->comments, private->size_comments);

  DELETEN (private->coi, private->size_coi);

  DELETEN (private->types, private->size_types);
  aiger_delete_str (private, private->error);
  DELETE (private);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x28(%rdi), %r14
movl 0x8c(%rdi), %r15d
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movq 0x30(%rbx), %r14
movl 0x90(%rbx), %r15d
movq %rbx, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movq 0x38(%rbx), %r14
movl 0x94(%rbx), %r15d
movq %rbx, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movq 0x40(%rbx), %r14
movl 0x9c(%rbx), %r15d
movq %rbx, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movq 0x48(%rbx), %r14
movl 0xa0(%rbx), %r15d
movq %rbx, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
cmpl $0x0, 0x1c(%rbx)
movq 0x50(%rbx), %r14
je 0x1e1f
movl $0x10, %r15d
xorl %r12d, %r12d
movl -0x4(%r14,%r15), %edx
shlq $0x2, %rdx
movq 0xb8(%rbx), %rdi
movq (%r14,%r15), %rsi
callq *0xc8(%rbx)
movq 0x50(%rbx), %r14
movq $0x0, (%r14,%r15)
incq %r12
movl 0x1c(%rbx), %eax
addq $0x20, %r15
cmpq %rax, %r12
jb 0x1dea
movl 0xa4(%rbx), %r15d
movq %rbx, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movq 0x58(%rbx), %r14
movl 0xa8(%rbx), %r15d
movq %rbx, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x49cb
shlq $0x5, %r15
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0xc8(%rbx)
movl 0x98(%rbx), %eax
shlq $0x2, %rax
leaq (%rax,%rax,2), %rdx
movq 0xb8(%rbx), %rdi
movq 0x60(%rbx), %rsi
callq *0xc8(%rbx)
xorl %r14d, %r14d
movq %r14, 0x60(%rbx)
movq %rbx, %rdi
callq 0x1f4d
movl 0xb0(%rbx), %edx
shlq $0x3, %rdx
movq 0xb8(%rbx), %rdi
movq 0x68(%rbx), %rsi
callq *0xc8(%rbx)
movq %r14, 0x68(%rbx)
movl 0x88(%rbx), %edx
movq 0xb8(%rbx), %rdi
movq 0x80(%rbx), %rsi
callq *0xc8(%rbx)
movq %r14, 0x80(%rbx)
movl 0x78(%rbx), %edx
shlq $0x3, %rdx
movq 0xb8(%rbx), %rdi
movq 0x70(%rbx), %rsi
callq *0xc8(%rbx)
movq %r14, 0x70(%rbx)
movq 0xd0(%rbx), %r14
testq %r14, %r14
je 0x1f2d
movq %r14, %rdi
callq 0x10b0
leaq 0x1(%rax), %rdx
movq 0xb8(%rbx), %rdi
movq %r14, %rsi
callq *0xc8(%rbx)
movq 0xb8(%rbx), %rdi
movq 0xc8(%rbx), %rax
movl $0xd8, %edx
movq %rbx, %rsi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmpq *%rax