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