TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
teddy::utils::same_as Concept Reference

Concept definition

template<class T, class U>
concept teddy::utils::same_as = std::is_same<T, U>::value
Definition tools.hpp:306