vectors Struct Reference

#include <vector.h>

Public Attributes
unsigneds	stack
size_t	usable

Detailed Description

Definition at line 27 of file vector.h.

Member Data Documentation

stack

unsigneds vectors::stack

Definition at line 28 of file vector.h.

usable

size_t vectors::usable

Definition at line 29 of file vector.h.

---

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

• src/sat/kissat/vector.h