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

#include <ProjectionInformation.h>

Collaboration diagram for smtrat::cad::ProjectionPolynomialInformation::PolyInfo:
Collaboration graph
[legend]

Data Fields

Origin origin
 Origins of this polynomial. More...
 

Detailed Description

Definition at line 160 of file ProjectionInformation.h.

Field Documentation

◆ origin

Origin smtrat::cad::ProjectionPolynomialInformation::PolyInfo::origin

Origins of this polynomial.

Definition at line 162 of file ProjectionInformation.h.

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