Constructors

This page contains information about the constructors of the Sims1 class.

libsemigroups::Sims1::Sims1() = delete

Default constructor - deleted!

libsemigroups::Sims1::Sims1(Sims1 const&) = default

Default copy constructor.

libsemigroups::Sims1::Sims1(Sims1&&) = default

Default move constructor.

template<typename P>
inline libsemigroups::Sims1::Sims1(congruence_kind ck, P const &p)

Construct from congruence_kind and Presentation.

See also

cbegin and cend for a description of the meaning of the parameters.

Parameters
  • ck – the handedness of the congruences (left or right)

  • p – the presentation

Throws
template<typename P>
inline libsemigroups::Sims1::Sims1(congruence_kind ck, P const &p, P const &e)

Construct from congruence_kind and two Presentation objects.

See also

cbegin and cend for a description of the meaning of the parameters.

Note

The presentations provided are copied when an instance of Sims1 is created, and the return values of presentation and extra may not be identical to p and e. See presentation for further details.

Parameters
  • ck – the handedness of the congruences (left or right)

  • p – the presentation defining the semigroup

  • e – presentation containing additional relations

Throws
libsemigroups::Sims1::Sims1(congruence_kind ck, Presentation<word_type> const &p)

Construct from congruence_kind and Presentation.

See also

cbegin and cend for a description of the meaning of the parameters.

Parameters
  • ck – the handedness of the congruences (left or right)

  • p – the presentation

Throws
libsemigroups::Sims1::Sims1(congruence_kind ck, Presentation<word_type> const &p, Presentation<word_type> const &e)

Construct from congruence_kind and two Presentation objects.

See also

cbegin and cend for a description of the meaning of the parameters.

Note

The presentations provided are copied when an instance of Sims1 is created, and the return values of presentation and extra may not be identical to p and e. See presentation for further details.

Parameters
  • ck – the handedness of the congruences (left or right)

  • p – the presentation defining the semigroup

  • e – presentation containing additional relations

Throws
Sims1 &libsemigroups::Sims1::operator=(Sims1 const&) = default

Default copy assignment operator.

Sims1 &libsemigroups::Sims1::operator=(Sims1&&) = default

Default move assignment operator.