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

Concept definition

template<class F>
concept teddy::int_to_int = requires(F function, int32 value) {
{
function(value)
} -> std::convertible_to<int32>;
}
Definition diagram_manager.hpp:66