extension Struct Reference

#include <extend.h>

Public Attributes
signed int	lit: 31
bool	blocking: 1

Detailed Description

Definition at line 12 of file extend.h.

Member Data Documentation

blocking

bool extension::blocking

Definition at line 14 of file extend.h.

lit

signed int extension::lit

Definition at line 13 of file extend.h.

---

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

• src/sat/kissat/extend.h