tagged Struct Reference

Public Attributes
unsigned	ref: LD_MAX_WALK_REF
bool	binary: 1

Detailed Description

Definition at line 24 of file walk.c.

Member Data Documentation

binary

bool tagged::binary

Definition at line 26 of file walk.c.

ref

unsigned tagged::ref

Definition at line 25 of file walk.c.

---

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

• src/sat/kissat/walk.c