TeDDy 4.1.0
Decision diagram library.
All Classes Namespaces Functions Typedefs Concepts
Loading...
Searching...
No Matches
teddy::teddy_bin_op Concept Reference

Concept definition

template<class Operation>
concept teddy::teddy_bin_op = requires() {
{
Operation::get_id()
{
Operation::is_commutative()
} -> utils::same_as<bool>;
}
Definition operators.hpp:293
Definition tools.hpp:306