SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::cadcells::datastructures::PropertiesT< Ts > Struct Template Reference

Set of properties. More...

#include <properties.h>

Inheritance diagram for smtrat::cadcells::datastructures::PropertiesT< Ts >:
Inheritance graph
[legend]

Detailed Description

template<typename... Ts>
struct smtrat::cadcells::datastructures::PropertiesT< Ts >

Set of properties.

This is a recursive template. The list of template parameters specifies the type of properties which can be hold by this set.

Note that only properties of the same level should be stored within this datastructure.

Properties have the following requirements:

  • They need to implement level().
  • They need to implement hash_on_level(), operator< and operator== for comparing with properties of the same type and level.
  • They need to have a member static constexpr bool is_flag. If set to true, this indicates that there is only one property of this kind per level and thus, it is not stored in a set but only a Boolean flag is stored.
  • They need to implement operator<<.

Definition at line 48 of file properties.h.

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