// File: /workspace/github_cpp_makefile_star2_O3/DavidLBruce[P]sim3dof/build/../src/FcTse6.cpp
// Function: FcTse6::FcTse6()
FcTse6::FcTse6()
{
  //
  // Input parameter defaults
  //
  frameTimeStep = 1.0/64.0;
  initFrameTime = 0.0;

  singerTau = 1.0e2;     // Kalman process noise tuning parameter
  singerVar = 1.0e2;     // Kalman process noise tuning parameter

  eye.Resize(6,6);
  HH.Resize(3,6);
  HT.Resize(6,3);
  innovation.Resize(6,1);
  KK.Resize(6,3);
  measVec.Resize(3,1);
  mscState.Resize(6,1);
  phi.Resize(6,6);
  PP.Resize(6,6);
  residual.Resize(3,1);
  RR.Resize(3,3);
  cartRel.Resize(6,1);
  truState.Resize(6,1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdi, %rbx
callq 0x9fd0
leaq 0x17ff4(%rip), %rax     # 0x1d9c8
movq %rax, (%rbx)
leaq 0x110(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x60(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x1a0(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x50(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x1c0(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x78(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x1d8(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x70(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x1f0(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x68(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x210(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x58(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x228(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x48(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x258(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x40(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x270(%rbx), %rdi
xorps %xmm0, %xmm0
movq %rdi, -0x38(%rbp)
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x288(%rbx), %r15
xorps %xmm0, %xmm0
movq %r15, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x2a0(%rbx), %r12
xorps %xmm0, %xmm0
movq %r12, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x2c0(%rbx), %r13
xorps %xmm0, %xmm0
movq %r13, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
leaq 0x2e0(%rbx), %r14
xorps %xmm0, %xmm0
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x13378
movabsq $0x3f90000000000000, %rax # imm = 0x3F90000000000000
movq %rax, 0x8(%rbx)
movq $0x0, 0xf8(%rbx)
movabsq $0x4059000000000000, %rax # imm = 0x4059000000000000
movq %rax, 0x100(%rbx)
movq %rax, 0x108(%rbx)
xorps %xmm0, %xmm0
movq -0x78(%rbp), %rdi
movl $0x6, %esi
movl $0x6, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x70(%rbp), %rdi
movl $0x3, %esi
movl $0x6, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x68(%rbp), %rdi
movl $0x6, %esi
movl $0x3, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x58(%rbp), %rdi
movl $0x6, %esi
movl $0x1, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x48(%rbp), %rdi
movl $0x6, %esi
movl $0x3, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x40(%rbp), %rdi
movl $0x3, %esi
movl $0x1, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x38(%rbp), %rdi
movl $0x6, %esi
movl $0x1, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq %r15, %rdi
movl $0x6, %esi
movl $0x6, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq %r12, %rdi
movl $0x6, %esi
movl $0x6, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq %r13, %rdi
movl $0x3, %esi
movl $0x1, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq %r14, %rdi
movl $0x3, %esi
movl $0x3, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x60(%rbp), %rdi
movl $0x6, %esi
movl $0x1, %edx
callq 0x134d0
xorps %xmm0, %xmm0
movq -0x50(%rbp), %rdi
movl $0x6, %esi
movl $0x1, %edx
callq 0x134d0
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, -0x30(%rbp)
jmp 0x5d00
movq %rax, -0x30(%rbp)
jmp 0x5d08
movq %rax, -0x30(%rbp)
jmp 0x5d10
movq %rax, -0x30(%rbp)
jmp 0x5d18
movq %rax, -0x30(%rbp)
jmp 0x5d21
movq %rax, -0x30(%rbp)
jmp 0x5d2a
movq %rax, -0x30(%rbp)
jmp 0x5d33
movq %rax, -0x30(%rbp)
jmp 0x5d3c
movq %rax, -0x30(%rbp)
jmp 0x5d45
movq %rax, -0x30(%rbp)
jmp 0x5d4e
movq %rax, -0x30(%rbp)
jmp 0x5d57
movq %rax, -0x30(%rbp)
jmp 0x5d60
movq %rax, -0x30(%rbp)
jmp 0x5d69
movq %rax, -0x30(%rbp)
movq %r14, %rdi
callq 0x134aa
movq %r13, %rdi
callq 0x134aa
movq %r12, %rdi
callq 0x134aa
movq %r15, %rdi
callq 0x134aa
movq -0x38(%rbp), %rdi
callq 0x134aa
movq -0x40(%rbp), %rdi
callq 0x134aa
movq -0x48(%rbp), %rdi
callq 0x134aa
movq -0x58(%rbp), %rdi
callq 0x134aa
movq -0x68(%rbp), %rdi
callq 0x134aa
movq -0x70(%rbp), %rdi
callq 0x134aa
movq -0x78(%rbp), %rdi
callq 0x134aa
movq -0x50(%rbp), %rdi
callq 0x134aa
movq -0x60(%rbp), %rdi
callq 0x134aa
movq %rbx, %rdi
callq 0xa130
movq -0x30(%rbp), %rdi
callq 0x32d0