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

#include <CubeLIASettings.h>

Static Public Attributes

static constexpr auto moduleName = "CubeLIAModule<CubeLIASettings1>"
 Name of the Module. More...
 
static const bool exclude_unsatisfiable_cube_space = false
 

Detailed Description

Definition at line 13 of file CubeLIASettings.h.

Field Documentation

◆ exclude_unsatisfiable_cube_space

const bool smtrat::CubeLIASettings1::exclude_unsatisfiable_cube_space = false
static

Definition at line 20 of file CubeLIASettings.h.

◆ moduleName

constexpr auto smtrat::CubeLIASettings1::moduleName = "CubeLIAModule<CubeLIASettings1>"
staticconstexpr

Name of the Module.

Definition at line 16 of file CubeLIASettings.h.

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