vector Struct Reference

#include <vector.h>

Public Attributes
unsigned	offset
unsigned	size

Detailed Description

Definition at line 32 of file vector.h.

Member Data Documentation

offset

unsigned vector::offset

Definition at line 34 of file vector.h.

size

unsigned vector::size

Definition at line 35 of file vector.h.

---

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

• src/sat/kissat/vector.h