SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::is_variant< T > Struct Template Reference

States whether a given type is a boost::variant. More...

#include <VariantMap.h>

Inheritance diagram for smtrat::is_variant< T >:
Collaboration diagram for smtrat::is_variant< T >:

Detailed Description

template<class T>
struct smtrat::is_variant< T >

States whether a given type is a boost::variant.

By default, a type is not.

Definition at line 29 of file VariantMap.h.


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