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

Concept definition

template<class Vars>
concept teddy::out_var_values = requires(Vars values, int32 index, int32 value) {
values[index] = value;
}
Definition diagram_manager.hpp:30