enabled Struct Reference

#include <kimits.h>

Public Attributes
bool	eliminate
bool	focus
bool	mode
bool	probe

Detailed Description

Definition at line 64 of file kimits.h.

Member Data Documentation

eliminate

bool enabled::eliminate

Definition at line 65 of file kimits.h.

focus

bool enabled::focus

Definition at line 66 of file kimits.h.

mode

bool enabled::mode

Definition at line 67 of file kimits.h.

probe

bool enabled::probe

Definition at line 68 of file kimits.h.

---

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

• src/sat/kissat/kimits.h