Sequoia
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | List of all members
sequoia::testing::transition_checker< T, CheckOrdering > Struct Template Reference

Public Types

using transition_graph = maths::directed_graph< transition_info< T, std::function< T(const T &)>, CheckOrdering >, object_generator< T > >
 
using size_type = typename transition_graph::size_type
 
using edge = typename transition_graph::edge_type
 

Static Public Member Functions

template<std::invocable< std::string, T, T > CheckFn>
static void check (std::string_view description, const transition_graph &g, CheckFn checkFn)
 
template<std::invocable< std::string, T, T, T > CheckFn>
static void check (std::string_view description, const transition_graph &g, CheckFn checkFn)
 
template<std::invocable< std::string, T, T, T, size_type, size_type > CheckFn>
static void check (std::string_view description, const transition_graph &g, CheckFn checkFn)
 
template<std::invocable< std::string, T, T, T, std::weak_ordering > CheckFn>
requires (std::totally_ordered<T>&& pseudoregular<T>)
static void check (std::string_view description, const transition_graph &g, CheckFn checkFn)
 
template<std::invocable< std::string, std::function< T()>, std::function< T()>, std::function< T()> > CheckFn>
static void check (std::string_view description, const transition_graph &g, CheckFn checkFn)
 
template<std::invocable< std::string, std::function< T()>, std::function< T()>, std::function< T()>, std::weak_ordering > CheckFn>
requires std::totally_ordered<T>
static void check (std::string_view description, const transition_graph &g, CheckFn checkFn)
 

The documentation for this struct was generated from the following file: