Settings specifically for RepOrc¶

This page contains information about the various settings specifically for the RepOrc class.

template<typename T = uint32_t> ActionDigraph<T> libsemigroups::RepOrc::digraph() const¶

Get the digraph.

This function attempts to find a right congruence, represented as an ActionDigraph, of the semigroup or monoid defined by the presentation consisting of its short_rules and long_rules with the following properties:

the transformation semigroup defined by the ActionDigraph has size target_size;
the number of nodes in the ActionDigraph is at least min_nodes and at most max_nodes.

If no such ActionDigraph can be found, then an empty ActionDigraph is returned (with 0 nodes and 0 edges).

Warning

The return value of this function is recomputed every time it is called.

Warning

If the return value of number_of_threads is greater than 1, then the value returned by this function is non-deterministic, and may vary even for the same parameters.

Template Parameters: T – the type of the nodes in the returned digraph.
Parameters: (None) – this function has no parameters.
Throws: (None) – This function guarantees not to throw a LibsemigroupsException.
Returns: A value of type ActionDigraph.

inline size_t libsemigroups::RepOrc::max_nodes() const noexcept¶

The current maximum number of nodes.

This function returns the current value for the maximum number of nodes in the ActionDigraph that we are seeking.

Parameters: (None) – this function has no parameters.
Throws: (None) – This function is noexcept and is guaranteed never to throw.
Returns: A value of type size_t.

inline RepOrc &libsemigroups::RepOrc::max_nodes(size_t val) noexcept¶

Set the maximum number of nodes.

This function sets the maximum number of nodes in the ActionDigraph that we are seeking.

Parameters: val – the maximum number of nodes
Throws: (None) – This function is noexcept and is guaranteed never to throw.
Returns: A reference to this.

inline size_t libsemigroups::RepOrc::min_nodes() const noexcept¶

The current minimum number of nodes.

This function returns the current value for the minimum number of nodes in the ActionDigraph that we are seeking.

Parameters: (None) – this function has no parameters.
Throws: (None) – This function is noexcept and is guaranteed never to throw.
Returns: A value of type size_t.

inline RepOrc &libsemigroups::RepOrc::min_nodes(size_t val) noexcept¶

Set the minimum number of nodes.

This function sets the minimal number of nodes in the ActionDigraph that we are seeking.

Parameters: val – the minimum number of nodes
Throws: (None) – This function is noexcept and is guaranteed never to throw.
Returns: A reference to this.

inline size_t libsemigroups::RepOrc::target_size() const noexcept¶

The current target size.

This function returns the current value for the target size, i.e. the desired size of the transformation semigroup corresponding to the ActionDigraph returned by the function digraph.

Parameters: (None) – this function has no parameters.
Throws: (None) – This function is noexcept and is guaranteed never to throw.
Returns: A value of type size_t.

inline RepOrc &libsemigroups::RepOrc::target_size(size_t val) noexcept¶

Set the target size.

This function sets the target size, i.e. the desired size of the transformation semigroup corresponding to the ActionDigraph returned by the function digraph.

Parameters: val – the target size.
Throws: (None) – This function is noexcept and is guaranteed never to throw.
Returns: A reference to this.