Rewriters

This file contains documentation for the functionality for rewriters in libsemigroups.

Classes
class	Rule
	For a rewriting rule. More...

Typedefs
using	external_char_type = char
using	external_string_type = std::string
using	internal_char_type = char
using	internal_string_type = std::string

Typedef Documentation

external_char_type

using external_char_type = char

Alias for the type of letter that can be input by the user

external_string_type

using external_string_type = std::string

Alias for the type of word that can be input by the user

internal_char_type

using internal_char_type = char

Alias for the type of letter used internally in the implementation

internal_string_type

using internal_string_type = std::string

Alias for the type of word used internally in the implementation