TeDDy
4.1.0
Decision diagram library.
Main Page
Namespaces
Concepts
Classes
Files
Loading...
Searching...
No Matches
teddy
is_bdd
teddy::is_bdd Concept Reference
Concept definition
template
<
class
Degree>
concept
teddy::is_bdd
= std::same_as<degrees::fixed<2>, Degree>
teddy::is_bdd
Definition
diagram_manager.hpp:63
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by
1.9.7
1.9.7