classification Struct Reference

#include <classify.h>

Public Attributes
bool	small
bool	bigbig

Detailed Description

Definition at line 11 of file classify.h.

Member Data Documentation

bigbig

bool classification::bigbig

Definition at line 13 of file classify.h.

small

bool classification::small

Definition at line 12 of file classify.h.

---

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

• src/sat/kissat/classify.h