TeDDy
4.1.0
Decision diagram library.
Main Page
Namespaces
Concepts
Classes
Files
Loading...
Searching...
No Matches
teddy
utils
is_std_vector
teddy::utils::is_std_vector Concept Reference
Concept definition
template
<
class
T>
concept
teddy::utils::is_std_vector
=
same_as
<
T,
std::vector<typename T::value_type, typename T::allocator_type>
>
teddy::utils::is_std_vector
Definition
tools.hpp:309
teddy::utils::same_as
Definition
tools.hpp:306
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by
1.9.7