import Struct Reference

#include <internal.h>

Public Attributes
unsigned	lit
bool	extension
bool	imported
bool	eliminated

Detailed Description

Definition at line 48 of file internal.h.

Member Data Documentation

eliminated

bool import::eliminated

Definition at line 52 of file internal.h.

extension

bool import::extension

Definition at line 50 of file internal.h.

imported

bool import::imported

Definition at line 51 of file internal.h.

lit

unsigned import::lit

Definition at line 49 of file internal.h.

---

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

• src/sat/kissat/internal.h