|
|
using | data_t = PartitionedData |
| |
|
using | value_type = typename PartitionedData::value_type |
| |
|
using | equiv_t = std::initializer_list< std::initializer_list< value_type > > |
| |
|
using | transition_graph = typename transition_checker< data_t >::transition_graph |
| |
|
|
static void | execute_operations (regular_test &t) |
| |
|
static data_t | make_and_check (regular_test &t, std::string_view description, equiv_t init) |
| |
|
static transition_graph | make_transition_graph (regular_test &t) |
| |
The documentation for this class was generated from the following file:
