smtrat::cadcells::operators::properties::cell_connected Struct Reference

#include <properties.h>

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

Data Fields
std::size_t	lvl

Static Public Attributes
static constexpr bool	is_flag = true

Detailed Description

Definition at line 160 of file properties.h.

Member Function Documentation

hash_on_level()

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

inline

Definition at line 166 of file properties.h.

level()

std::size_t smtrat::cadcells::operators::properties::cell_connected::level ( ) const

inline

Definition at line 163 of file properties.h.

Here is the caller graph for this function:

Field Documentation

is_flag

constexpr bool smtrat::cadcells::operators::properties::cell_connected::is_flag = true

staticconstexpr

Definition at line 161 of file properties.h.

lvl

std::size_t smtrat::cadcells::operators::properties::cell_connected::lvl

Definition at line 162 of file properties.h.

---

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

• smtrat-cadcells/operators/properties.h