TeDDy
4.1.0
Decision diagram library.
Main Page
Namespaces
Concepts
Classes
Files
Loading...
Searching...
No Matches
teddy
in_var_values
teddy::in_var_values Concept Reference
Concept definition
template
<
class
Vars>
concept
teddy::in_var_values
=
requires
(Vars values, int32 index) {
{
values[index]
} -> std::convertible_to<int32>;
}
teddy::in_var_values
Definition
diagram_manager.hpp:23
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by
1.9.7