smtrat::cadcells::operators::properties::poly_del Struct Reference

#include <properties.h>

Collaboration diagram for smtrat::cadcells::operators::properties::poly_del:

Public Member Functions
size_t	level () const
std::size_t	hash_on_level () const

Data Fields
datastructures::PolyRef	poly

Static Public Attributes
static constexpr bool	is_flag = false

Detailed Description

Definition at line 118 of file properties.h.

Member Function Documentation

hash_on_level()

std::size_t smtrat::cadcells::operators::properties::poly_del::hash_on_level ( ) const

inline

Definition at line 124 of file properties.h.

level()

size_t smtrat::cadcells::operators::properties::poly_del::level ( ) const

inline

Definition at line 121 of file properties.h.

Here is the caller graph for this function:

Field Documentation

is_flag

constexpr bool smtrat::cadcells::operators::properties::poly_del::is_flag = false

staticconstexpr

Definition at line 119 of file properties.h.

poly

datastructures::PolyRef smtrat::cadcells::operators::properties::poly_del::poly

Definition at line 120 of file properties.h.

---

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

• smtrat-cadcells/operators/properties.h