SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::cadcells::datastructures::PropertiesTContent< T, is_flag > Struct Template Reference
Inheritance diagram for smtrat::cadcells::datastructures::PropertiesTContent< T, is_flag >:
Inheritance graph
[legend]

Detailed Description

template<typename T, bool is_flag>
struct smtrat::cadcells::datastructures::PropertiesTContent< T, is_flag >

Definition at line 22 of file properties.h.

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