smtrat::CMakeOptionPrinter Struct Reference

#include <compile_information.h>

Data Fields
bool	advanced

Detailed Description

Definition at line 24 of file compile_information.h.

Field Documentation

advanced

bool smtrat::CMakeOptionPrinter::advanced

Definition at line 25 of file compile_information.h.

---

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

• cli/tools/compile_information.h