frame Struct Reference

#include <frames.h>

Public Attributes
bool	promote
unsigned	decision
unsigned	trail
unsigned	used

Detailed Description

Definition at line 15 of file frames.h.

Member Data Documentation

decision

unsigned frame::decision

Definition at line 17 of file frames.h.

promote

bool frame::promote

Definition at line 16 of file frames.h.

trail

unsigned frame::trail

Definition at line 18 of file frames.h.

used

unsigned frame::used

Definition at line 19 of file frames.h.

---

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

• src/sat/kissat/frames.h