MinimalRepOrc¶

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

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, with the minimum possible number of nodes such that the action of the semigroup or monoid defined by the presentation consisting of its short_rules and long_rules on the nodes of the ActionDigraph corresponds to a semigroup of size target_size.

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

Constructors¶

MinimalRepOrc() = default

Default constructor.

Settings¶

`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 MinimalRepOrc¶

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