smtrat::PNFerModule::SettingsType Struct Reference

#include <PNFerModule.h>

Static Public Attributes
static constexpr auto	moduleName = "PNFerModule"

Detailed Description

Definition at line 9 of file PNFerModule.h.

Field Documentation

moduleName

constexpr auto smtrat::PNFerModule::SettingsType::moduleName = "PNFerModule"

staticconstexpr

Definition at line 10 of file PNFerModule.h.

---

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

• smtrat-modules/PNFerModule/PNFerModule.h