TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
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>;
}
Definition diagram_manager.hpp:23