Namespace std

namespace std

Functions

std::ostream &operator<<(std::ostream &os, const mata::Alphabet &alphabet)

std::ostream &operator<<(std::ostream &os, const mata::nfa::Transition &trans)

std::ostream &operator<<(std::ostream &os, const mata::nfa::Nfa &nfa)

std::ostream &operator<<(std::ostream &os, const mata::nft::Nft &nft)

std::ostream &operator<<(std::ostream &os, const mata::IntermediateAut &inter_aut)

std::ostream &operator<<(std::ostream &os, const mata::parser::ParsedSection &parsec)

Output stream operator.

template<class A>
std::string to_string(const A &value)

arbitrary type with the << operator

template<class A>
std::string to_string(const std::set<A> &st)

set to string

template<class A>
std::string to_string(const std::vector<A> &vec)

Vector to string.

template<class A>
std::string to_string(const std::list<A> &vec)

List to string.

template<class A>
std::string to_string(const std::stack<A> &stck)

stack to string

template<class A>
std::string to_string(const std::function<A> &fun)

function to string

template<class A, class B>
std::string to_string(const std::pair<A, B> &p)

template<class A, class B>
std::string to_string(const std::map<A, B> &mp)

map to string

template<class A, class B>
std::string to_string(const std::unordered_map<A, B> &unmap)

unordered_map to string

template<class A, class B>
std::string to_string(const std::unordered_multimap<A, B> &unmap)

unordered_multimap to string

inline std::string to_string(char ch)

Character to string.

inline std::string to_string(const std::string &str)

String to string.

template<class ...Ts>
std::string to_string(const std::tuple<Ts...> &tup)

tuple to string

template<>
struct hash<mata::nfa::Transition>

#include <nfa.hh>

template<class Key>
struct hash<mata::utils::OrdVector<Key>>

#include <ord-vector.hh>

template<class A, class B>
struct hash<std::pair<A, B>>

#include <utils.hh>

A hasher for pairs.

template<class A>
struct hash<std::set<A>>

#include <utils.hh>

A hasher for sets.

template<class A>
struct hash<std::vector<A>>

#include <utils.hh>

A hasher for vectors.