delay Struct Reference

#include <kimits.h>

Public Attributes
unsigned	count
unsigned	current

Detailed Description

Definition at line 71 of file kimits.h.

Member Data Documentation

count

unsigned delay::count

Definition at line 72 of file kimits.h.

current

unsigned delay::current

Definition at line 73 of file kimits.h.

---

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

• src/sat/kissat/kimits.h