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

Concept definition

template<class Degree>
concept teddy::details::is_bss = std::same_as<degrees::fixed<2>, Degree>
Definition reliability_manager.hpp:20