![]() |
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.