mode Struct Reference

#include <mode.h>

Public Attributes
uint64_t	ticks

Detailed Description

Definition at line 11 of file mode.h.

Member Data Documentation

ticks

uint64_t mode::ticks

Definition at line 12 of file mode.h.

---

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

• src/sat/kissat/mode.h