TeDDy
4.1.0
Decision diagram library.
Main Page
Namespaces
Concepts
Classes
Files
•
All
Classes
Namespaces
Functions
Typedefs
Concepts
Loading...
Searching...
No Matches
teddy
teddy_bin_op
teddy::teddy_bin_op Concept Reference
Concept definition
template
<
class
Operation>
concept
teddy::teddy_bin_op
=
requires
() {
{
Operation::get_id()
} ->
utils::same_as<int32>
;
{
Operation::is_commutative()
} -> utils::same_as<bool>;
}
teddy::teddy_bin_op
Definition
operators.hpp:293
teddy::utils::same_as
Definition
tools.hpp:306
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by
1.9.7