SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::analyzer::DegreeCollector Struct Reference

#include <utils.h>

Public Member Functions

void operator() (const Poly &p)
 
void operator() (const carl::UnivariatePolynomial< Poly > &p)
 
void operator() (const ConstraintT &c)
 

Data Fields

std::size_t degree_max = 0
 
std::size_t degree_sum = 0
 
std::size_t tdegree_max = 0
 
std::size_t tdegree_sum = 0
 

Detailed Description

Definition at line 9 of file utils.h.

Member Function Documentation

◆ operator()() [1/3]

void smtrat::analyzer::DegreeCollector::operator() ( const carl::UnivariatePolynomial< Poly > &  p)
inline

Definition at line 21 of file utils.h.

◆ operator()() [2/3]

void smtrat::analyzer::DegreeCollector::operator() ( const ConstraintT &  c)
inline

Definition at line 27 of file utils.h.

◆ operator()() [3/3]

void smtrat::analyzer::DegreeCollector::operator() ( const Poly &  p)
inline

Definition at line 15 of file utils.h.

Field Documentation

◆ degree_max

std::size_t smtrat::analyzer::DegreeCollector::degree_max = 0

Definition at line 10 of file utils.h.

◆ degree_sum

std::size_t smtrat::analyzer::DegreeCollector::degree_sum = 0

Definition at line 11 of file utils.h.

◆ tdegree_max

std::size_t smtrat::analyzer::DegreeCollector::tdegree_max = 0

Definition at line 12 of file utils.h.

◆ tdegree_sum

std::size_t smtrat::analyzer::DegreeCollector::tdegree_sum = 0

Definition at line 13 of file utils.h.

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