Stephen

On this page we describe the functionality in libsemigroups relating to Stephen's procedure for finitely presented semigroups.

Namespaces
namespace	libsemigroups::stephen
	Helper functions for the Stephen class.

Classes
class	Stephen< PresentationType >
	For constructing the word graph of left factors of a word in an f.p. semigroup. More...

Functions
	Stephen (InversePresentation< word_type > &&) -> Stephen< InversePresentation< word_type > >
	Deduction guide.
	Stephen (InversePresentation< word_type > &) -> Stephen< InversePresentation< word_type > >
	Deduction guide.
	Stephen (InversePresentation< word_type > const &) -> Stephen< InversePresentation< word_type > >
	Deduction guide.
	Stephen (Presentation< word_type > &&) -> Stephen< Presentation< word_type > >
	Deduction guide.
	Stephen (Presentation< word_type > &) -> Stephen< Presentation< word_type > >
	Deduction guide.
	Stephen (Presentation< word_type > const &) -> Stephen< Presentation< word_type > >
	Deduction guide.
	Stephen (std::shared_ptr< InversePresentation< word_type > > &&) -> Stephen< InversePresentation< word_type > >
	Deduction guide.
	Stephen (std::shared_ptr< Presentation< word_type > > &&) -> Stephen< Presentation< word_type > >
	Deduction guide.

Function Documentation

Stephen() [1/8]

Stephen

(

InversePresentation< word_type > &&

)

-> Stephen< InversePresentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<InversePresentation<word_type>> from an InversePresentation<word_type>&&.

Stephen() [2/8]

Stephen

(

InversePresentation< word_type > &

)

-> Stephen< InversePresentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<InversePresentation<word_type>> from an InversePresentation<word_type>&.

Stephen() [3/8]

Stephen

(

InversePresentation< word_type > const &

)

-> Stephen< InversePresentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<InversePresentation<word_type>> from an InversePresentation<word_type> const&.

Stephen() [4/8]

Stephen

(

Presentation< word_type > &&

)

-> Stephen< Presentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<Presentation<word_type>> from a Presentation<word_type>&&.

Stephen() [5/8]

Stephen

(

Presentation< word_type > &

)

-> Stephen< Presentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<Presentation<word_type>> from a Presentation<word_type>&.

Stephen() [6/8]

Stephen

(

Presentation< word_type > const &

)

-> Stephen< Presentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<Presentation<word_type>> from a Presentation<word_type> const&.

Stephen() [7/8]

Stephen

(

std::shared_ptr< InversePresentation< word_type > > &&

)

-> Stephen< InversePresentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<InversePresentation<word_type>> from a std::shared_ptr<InversePresentation<word_type>>&&.

Stephen() [8/8]

Stephen

(

std::shared_ptr< Presentation< word_type > > &&

)

-> Stephen< Presentation< word_type > >

Defined in stephen.hpp

Deduction guide to construct a Stephen<Presentation<word_type>> from a std::shared_ptr<Presentation<word_type>>&&.