SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
States whether a given type is a boost::variant
.
More...
#include <VariantMap.h>
States whether a given type is a boost::variant
.
By default, a type is not.
Definition at line 29 of file VariantMap.h.