smtrat::cadcells::representation::util::PolyDelineations Struct Reference

#include <util.h>

Public Member Functions
auto &	get (const datastructures::PolyRef &poly)

Data Fields
boost::container::flat_map< datastructures::PolyRef, PolyDelineation >	data

Detailed Description

Definition at line 351 of file util.h.

Member Function Documentation

get()

auto& smtrat::cadcells::representation::util::PolyDelineations::get ( const datastructures::PolyRef &  poly )

inline

Definition at line 353 of file util.h.

Here is the caller graph for this function:

Field Documentation

data

boost::container::flat_map<datastructures::PolyRef,PolyDelineation> smtrat::cadcells::representation::util::PolyDelineations::data

Definition at line 352 of file util.h.

---

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

• smtrat-cadcells/representation/util.h