SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::NewGBPPSettings1 Struct Reference

#include <NewGBPPSettings.h>

Static Public Attributes

static constexpr auto moduleName = "NewGBPPModule<NewGBPPSettings1>"
 

Detailed Description

Definition at line 4 of file NewGBPPSettings.h.

Field Documentation

◆ moduleName

constexpr auto smtrat::NewGBPPSettings1::moduleName = "NewGBPPModule<NewGBPPSettings1>"
staticconstexpr

Definition at line 5 of file NewGBPPSettings.h.

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