KnuthBendixCongruenceByPairs

Warning

doxygenfunction: Unable to resolve function “libsemigroups::KnuthBendixCongruenceByPairs” with arguments None in doxygen xml output for project “libsemigroups” from directory: ../build/xml. Potential matches:

- KnuthBendixCongruenceByPairs() = delete
- KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs const&) = delete
- KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs&&) = delete
- KnuthBendixCongruenceByPairs(congruence_kind type, KnuthBendix const &kb) noexcept

Member types

class_index_type

None

const_iterator

None

non_trivial_class_iterator

None

non_trivial_classes_type

None

Constructors

KnuthBendixCongruenceByPairs(congruence_kind,KnuthBendix const &) noexcept

None

KnuthBendixCongruenceByPairs(congruence_kind,std::shared_ptr<KnuthBendix>) noexcept

None

Deleted constructors

KnuthBendixCongruenceByPairs() = delete

None

KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs &&) = delete

None

KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs const &) = delete

None

operator=(KnuthBendixCongruenceByPairs &&) = delete

None

operator=(KnuthBendixCongruenceByPairs const &) = delete

None

Member functions inherited from CongruenceInterface

add_pair(std::initializer_list<size_t>, std::initializer_list<size_t>)

None

add_pair(word_type const&, word_type const&)

None

cbegin_generating_pairs() const noexcept

None

cbegin_ntc()

None

cend_generating_pairs() const noexcept

None

cend_ntc()

None

class_index_to_word(class_index_type)

None

const_contains(word_type const&, word_type const&) const

None

contains(word_type const&, word_type const&)

None

has_parent_fpsemigroup() const noexcept

None

has_parent_froidure_pin() const noexcept

None

has_quotient_froidure_pin() const noexcept

None

is_quotient_obviously_finite()

None

is_quotient_obviously_infinite()

None

kind() const noexcept

None

less(word_type const&, word_type const&)

None

non_trivial_classes()

None

number_of_classes()

None

number_of_generating_pairs() const noexcept

None

number_of_generators() const noexcept

None

number_of_non_trivial_classes()

None

parent_fpsemigroup() const

None

parent_froidure_pin() const

None

quotient_froidure_pin()

None

set_number_of_generators(size_t)

None

word_to_class_index(word_type const&)

None

Member functions inherited from Runner

dead() const noexcept

None

finished() const

None

kill() noexcept

None

report() const

None

report_every() const noexcept

None

report_every(TIntType)

None

report_every(std::chrono::nanoseconds)

None

report_why_we_stopped() const

None

run()

None

run_for(TIntType)

None

run_for(std::chrono::nanoseconds)

None

run_until(T&&)

None

run_until(bool(*)())

None

running() const noexcept

None

running_for() const noexcept

None

running_until() const noexcept

None

started() const

None

stopped() const

None

stopped_by_predicate() const

None

timed_out() const

None