|
SAT Solver Template
|
namespace containing various type traits. Prefer using the concepts. More...
Classes | |
| struct | always_false |
| struct | is_same_template |
| struct | is_same_template< Template, Template< Args... > > |
| struct | is_scalar |
Variables | |
| template<template< typename ... > typename Template, typename T > | |
| constexpr bool | is_same_template_v = is_same_template<Template, std::remove_cvref_t<T>>::value |
| template<typename T > | |
| constexpr bool | is_scalar_v = is_scalar<T>::value |
| template<typename ... Ts> | |
| constexpr bool | always_false_v = always_false<Ts...>::value |
namespace containing various type traits. Prefer using the concepts.