carl::CachedConstraintContent< Pol > Struct Template Reference
#include <Constraint.h>
Collaboration diagram for carl::CachedConstraintContent< Pol >:
Public Member Functions | |
| CachedConstraintContent (BasicConstraint< Pol > &&c) | |
| const auto & | key () const |
Data Fields | |
| BasicConstraint< Pol > | m_constraint |
| Basic constraint. More... | |
| Factors< Pol > | m_lhs_factorization |
| Cache for the factorization. More... | |
| carlVariables | m_variables |
| A container which includes all variables occurring in the polynomial considered by this constraint. More... | |
| VarsInfo< Pol > | m_var_info_map |
| A map which stores information about properties of the variables in this constraint. More... | |
Detailed Description
template<typename Pol>
struct carl::CachedConstraintContent< Pol >
Definition at line 31 of file Constraint.h.
Constructor & Destructor Documentation
◆ CachedConstraintContent()
template<typename Pol >
|
inline |
Definition at line 49 of file Constraint.h.
Member Function Documentation
◆ key()
template<typename Pol >
|
inline |
Definition at line 50 of file Constraint.h.
Field Documentation
◆ m_constraint
template<typename Pol >
| BasicConstraint<Pol> carl::CachedConstraintContent< Pol >::m_constraint |
Basic constraint.
Definition at line 33 of file Constraint.h.
◆ m_lhs_factorization
template<typename Pol >
|
mutable |
Cache for the factorization.
Definition at line 35 of file Constraint.h.
◆ m_var_info_map
template<typename Pol >
|
mutable |
A map which stores information about properties of the variables in this constraint.
Definition at line 39 of file Constraint.h.
◆ m_variables
template<typename Pol >
|
mutable |
A container which includes all variables occurring in the polynomial considered by this constraint.
Definition at line 37 of file Constraint.h.
The documentation for this struct was generated from the following file:
- carl-formula/arithmetic/Constraint.h
