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

Concept definition

template<class Degree>
concept teddy::is_bdd = std::same_as<degrees::fixed<2>, Degree>
Definition diagram_manager.hpp:63