limited Struct Reference

#include <kimits.h>

Public Attributes
bool	conflicts
bool	decisions

Detailed Description

Definition at line 59 of file kimits.h.

Member Data Documentation

conflicts

bool limited::conflicts

Definition at line 60 of file kimits.h.

decisions

bool limited::decisions

Definition at line 61 of file kimits.h.

---

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

• src/sat/kissat/kimits.h