Sequoia
|
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) |