kink Struct Reference

Public Attributes
unsigned	next
unsigned	prev
uint64_t	stamp

Detailed Description

Definition at line 99 of file cadical_kitten.c.

Member Data Documentation

next

unsigned kink::next

Definition at line 100 of file cadical_kitten.c.

prev

unsigned kink::prev

Definition at line 101 of file cadical_kitten.c.

stamp

uint64_t kink::stamp

Definition at line 102 of file cadical_kitten.c.

---

The documentation for this struct was generated from the following files:

• src/sat/cadical/cadical_kitten.c
• src/sat/kissat/kitten.c