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 &)`

Settings in common with Sims1¶

`extra() const noexcept`
`extra(P const&)`	None
`long_rule_length(size_t)`
`long_rules() const noexcept`	None
`long_rules(P const&)`
`number_of_threads() const noexcept`	None
`number_of_threads(size_t)`
`report_interval() const noexcept`	None
`report_interval(size_t) noexcept`
`settings() const noexcept`
`settings(Sims1Settings const &)`	None
`short_rules() const noexcept`	None
`short_rules(P const&)`
`split_at(size_t)`
`stats() const noexcept`

Settings specifically for RepOrc¶

`digraph() const`
`max_nodes() const noexcept`
`max_nodes(size_t) noexcept`
`min_nodes() const noexcept`
`min_nodes(size_t) noexcept`
`target_size() const noexcept`
`target_size(size_t) noexcept`