RepOrc¶

class RepOrc : public libsemigroups::Sims1Settings<RepOrc>¶

Defined in sims1.hpp.

This class is a helper for Sims1 calling the digraph member 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).

Constructors¶

`RepOrc()`	Default constructor.
`RepOrc(Sims1Settings< S > const &)`	Construct from `Sims1` or `MinimalRepOrc` .

Settings in common with Sims1¶

`extra() const noexcept`	Returns a const reference to the additional defining pairs.
`extra(P const&)`	Set the extra rules.
`long_rule_length(size_t)`	Define the long rule length.
`long_rules() const noexcept`	Returns the current long rules.
`long_rules(P const&)`	Set the long rules.
`number_of_threads() const noexcept`	Returns the current number of threads.
`number_of_threads(size_t)`	Set the number of threads.
`report_interval() const noexcept`	Returns the current report interval.
`report_interval(size_t) noexcept`	Set the report interval.
`settings() const noexcept`	Returns the settings object of *this.
`settings(Sims1Settings const &)`	Copy the settings from `that` into `this`.
`short_rules() const noexcept`	Returns a const reference to the current short rules.
`short_rules(P const&)`	Set the short rules.
`split_at(size_t)`	Split the rules in `short_rules` and `long_rules` .
`stats() const noexcept`	None

Settings specifically for RepOrc¶

`digraph() const`	Get the digraph.
`max_nodes() const noexcept`	The current maximum number of nodes.
`max_nodes(size_t) noexcept`	Set the maximum number of nodes.
`min_nodes() const noexcept`	The current minimum number of nodes.
`min_nodes(size_t) noexcept`	Set the minimum number of nodes.
`target_size() const noexcept`	The current target size.
`target_size(size_t) noexcept`	Set the target size.