carl  24.04
Computer ARithmetic Library
Public Member Functions | Private Attributes
carl::VarInfo< CoeffType > Class Template Reference

#include <VarInfo.h>

Collaboration diagram for carl::VarInfo< CoeffType >:
Collaboration graph
[legend]

Public Member Functions

 VarInfo ()=default
 
 VarInfo (std::size_t maxDegree, std::size_t min_degree, std::size_t occurence, std::map< std::size_t, CoeffType > &&coeffs)
 
bool has_coeff () const
 
std::size_t max_degree () const
 
std::size_t min_degree () const
 
std::size_t num_occurences () const
 
const std::map< std::size_t, CoeffType > & coeffs () const
 
void raise_max_degree (std::size_t degree)
 
void lower_min_degree (std::size_t degree)
 
void increase_num_occurences ()
 
template<typename Term >
void update_coeff (std::size_t exponent, const Term &t)
 

Private Attributes

std::size_t m_max_degree = 0
 Maximal degree variable occurs with. More...
 
std::size_t m_min_degree = 0
 Minimal non-zero degree variable occurs with. More...
 
std::size_t m_num_occurences = 0
 Number of terms a variable occurs in. More...
 
std::map< std::size_t, CoeffType > m_coeffs
 Coefficients of the variable. Maps from exponent to the coefficient. More...
 

Detailed Description

template<typename CoeffType>
class carl::VarInfo< CoeffType >

Definition at line 6 of file VarInfo.h.

Constructor & Destructor Documentation

◆ VarInfo() [1/2]

template<typename CoeffType >
carl::VarInfo< CoeffType >::VarInfo ( )
default

◆ VarInfo() [2/2]

template<typename CoeffType >
carl::VarInfo< CoeffType >::VarInfo ( std::size_t  maxDegree,
std::size_t  min_degree,
std::size_t  occurence,
std::map< std::size_t, CoeffType > &&  coeffs 
)
inline

Definition at line 20 of file VarInfo.h.

Member Function Documentation

◆ coeffs()

template<typename CoeffType >
const std::map<std::size_t, CoeffType>& carl::VarInfo< CoeffType >::coeffs ( ) const
inline

Definition at line 38 of file VarInfo.h.

◆ has_coeff()

template<typename CoeffType >
bool carl::VarInfo< CoeffType >::has_coeff ( ) const
inline

Definition at line 22 of file VarInfo.h.

◆ increase_num_occurences()

template<typename CoeffType >
void carl::VarInfo< CoeffType >::increase_num_occurences ( )
inline

Definition at line 55 of file VarInfo.h.

Here is the caller graph for this function:

◆ lower_min_degree()

template<typename CoeffType >
void carl::VarInfo< CoeffType >::lower_min_degree ( std::size_t  degree)
inline

Definition at line 49 of file VarInfo.h.

Here is the caller graph for this function:

◆ max_degree()

template<typename CoeffType >
std::size_t carl::VarInfo< CoeffType >::max_degree ( ) const
inline

Definition at line 26 of file VarInfo.h.

◆ min_degree()

template<typename CoeffType >
std::size_t carl::VarInfo< CoeffType >::min_degree ( ) const
inline

Definition at line 30 of file VarInfo.h.

◆ num_occurences()

template<typename CoeffType >
std::size_t carl::VarInfo< CoeffType >::num_occurences ( ) const
inline

Definition at line 34 of file VarInfo.h.

◆ raise_max_degree()

template<typename CoeffType >
void carl::VarInfo< CoeffType >::raise_max_degree ( std::size_t  degree)
inline

Definition at line 43 of file VarInfo.h.

Here is the caller graph for this function:

◆ update_coeff()

template<typename CoeffType >
template<typename Term >
void carl::VarInfo< CoeffType >::update_coeff ( std::size_t  exponent,
const Term &  t 
)
inline

Definition at line 60 of file VarInfo.h.

Here is the caller graph for this function:

Field Documentation

◆ m_coeffs

template<typename CoeffType >
std::map<std::size_t, CoeffType> carl::VarInfo< CoeffType >::m_coeffs
private

Coefficients of the variable. Maps from exponent to the coefficient.

Definition at line 15 of file VarInfo.h.

◆ m_max_degree

template<typename CoeffType >
std::size_t carl::VarInfo< CoeffType >::m_max_degree = 0
private

Maximal degree variable occurs with.

Definition at line 9 of file VarInfo.h.

◆ m_min_degree

template<typename CoeffType >
std::size_t carl::VarInfo< CoeffType >::m_min_degree = 0
private

Minimal non-zero degree variable occurs with.

Definition at line 11 of file VarInfo.h.

◆ m_num_occurences

template<typename CoeffType >
std::size_t carl::VarInfo< CoeffType >::m_num_occurences = 0
private

Number of terms a variable occurs in.

Definition at line 13 of file VarInfo.h.

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