smtrat::ICESettings1 Struct Reference

#include <ICESettings.h>

Static Public Attributes
static constexpr auto	moduleName = "ICEModule<ICESettings1>"
static constexpr bool	dumpAsDot = false
static constexpr auto	dotFilename = "licgraph.dot"

Detailed Description

Definition at line 13 of file ICESettings.h.

Field Documentation

dotFilename

constexpr auto smtrat::ICESettings1::dotFilename = "licgraph.dot"

staticconstexpr

Definition at line 18 of file ICESettings.h.

dumpAsDot

constexpr bool smtrat::ICESettings1::dumpAsDot = false

staticconstexpr

Definition at line 17 of file ICESettings.h.

moduleName

constexpr auto smtrat::ICESettings1::moduleName = "ICEModule<ICESettings1>"

staticconstexpr

Definition at line 15 of file ICESettings.h.

---

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

• smtrat-modules/ICEModule/ICESettings.h