SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::cad::ProjectionGlobalInformation::ECData Struct Reference

#include <ProjectionInformation.h>

Data Fields

std::size_t level = 0
 
carl::Bitset polynomials
 

Detailed Description

Definition at line 13 of file ProjectionInformation.h.

Field Documentation

◆ level

std::size_t smtrat::cad::ProjectionGlobalInformation::ECData::level = 0

Definition at line 14 of file ProjectionInformation.h.

◆ polynomials

carl::Bitset smtrat::cad::ProjectionGlobalInformation::ECData::polynomials

Definition at line 15 of file ProjectionInformation.h.

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