SAT Solver Template
Loading...
Searching...
No Matches
Classes | Variables
sat::traits Namespace Reference

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
 

Detailed Description

namespace containing various type traits. Prefer using the concepts.