counter Struct Reference

Public Attributes
unsigned	count
unsigned	pos

Detailed Description

Definition at line 35 of file walk.c.

Member Data Documentation

count

unsigned counter::count

Definition at line 36 of file walk.c.

pos

unsigned counter::pos

Definition at line 37 of file walk.c.

---

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

• src/sat/kissat/walk.c