// File: Kei18[P]pibt/./src/solver/cbs.cpp
// Function: CBS::setCKey(Conflict*)
void CBS::setCKey(Conflict* c) {
  std::string key = std::to_string(c->a->getId()) + "_";
  key += std::to_string(c->t) + "_";
  if (c->onNode) {
    key += std::to_string(c->v->getId());
  } else {
    key += std::to_string(c->v->getId()) + "_" + std::to_string(c->u->getId());
  }
  c->key = key;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x160, %rsp            # imm = 0x160
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rdi
callq 0x63b50
movl %eax, %esi
leaq -0x50(%rbp), %rdi
movq %rdi, -0x148(%rbp)
callq 0xdf50
movq -0x148(%rbp), %rsi
leaq 0x5ab22(%rip), %rdx     # 0xb5831
leaq -0x30(%rbp), %rdi
callq 0xdeb0
jmp 0x5ad1a
leaq -0x50(%rbp), %rdi
callq 0x8330
movq -0x10(%rbp), %rax
movl 0x8(%rax), %esi
leaq -0xa0(%rbp), %rdi
callq 0xdf50
jmp 0x5ad38
leaq 0x5aaf2(%rip), %rdx     # 0xb5831
leaq -0x80(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xdeb0
jmp 0x5ad51
leaq -0x30(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x8640
jmp 0x5ad60
leaq -0x80(%rbp), %rdi
callq 0x8330
leaq -0xa0(%rbp), %rdi
callq 0x8330
movq -0x10(%rbp), %rax
testb $0x1, 0x20(%rax)
je 0x5ae4b
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x3ae00
movl %eax, -0x14c(%rbp)
jmp 0x5ad98
movl -0x14c(%rbp), %esi
leaq -0xc0(%rbp), %rdi
callq 0xdf50
jmp 0x5adac
leaq -0x30(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x8640
jmp 0x5adbe
leaq -0xc0(%rbp), %rdi
callq 0x8330
jmp 0x5af81
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x8330
jmp 0x5afaf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x5afa6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x5ae1d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x8330
leaq -0xa0(%rbp), %rdi
callq 0x8330
jmp 0x5afa6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x8330
jmp 0x5afa6
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x3ae00
movl %eax, -0x150(%rbp)
jmp 0x5ae60
movl -0x150(%rbp), %esi
leaq -0x120(%rbp), %rdi
callq 0xdf50
jmp 0x5ae74
leaq 0x5a9b6(%rip), %rdx     # 0xb5831
leaq -0x100(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0xdeb0
jmp 0x5ae90
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x3ae00
movl %eax, -0x154(%rbp)
jmp 0x5aea5
movl -0x154(%rbp), %esi
leaq -0x140(%rbp), %rdi
callq 0xdf50
jmp 0x5aeb9
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
leaq -0x140(%rbp), %rdx
callq 0x63a80
jmp 0x5aed5
leaq -0x30(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x8640
jmp 0x5aee7
leaq -0xe0(%rbp), %rdi
callq 0x8330
leaq -0x140(%rbp), %rdi
callq 0x8330
leaq -0x100(%rbp), %rdi
callq 0x8330
leaq -0x120(%rbp), %rdi
callq 0x8330
jmp 0x5af81
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x5af73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x5af67
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x5af5b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x8330
leaq -0x140(%rbp), %rdi
callq 0x8330
leaq -0x100(%rbp), %rdi
callq 0x8330
leaq -0x120(%rbp), %rdi
callq 0x8330
jmp 0x5afa6
movq -0x10(%rbp), %rdi
addq $0x28, %rdi
leaq -0x30(%rbp), %rsi
callq 0x8070
jmp 0x5af94
leaq -0x30(%rbp), %rdi
callq 0x8330
addq $0x160, %rsp            # imm = 0x160
popq %rbp
retq
leaq -0x30(%rbp), %rdi
callq 0x8330
movq -0x58(%rbp), %rdi
callq 0x8880
nopl (%rax,%rax)