TeDDy
4.1.0
Decision diagram library.
Main Page
Namespaces
Concepts
Classes
Files
Loading...
Searching...
No Matches
teddy
int_to_int
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>;
}
teddy::int_to_int
Definition
diagram_manager.hpp:66
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by
1.9.7