datarank Struct Reference

#include <internal.h>

Public Attributes
unsigned	data
unsigned	rank

Detailed Description

Definition at line 41 of file internal.h.

Member Data Documentation

data

unsigned datarank::data

Definition at line 42 of file internal.h.

rank

unsigned datarank::rank

Definition at line 43 of file internal.h.

---

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

• src/sat/kissat/internal.h