Konieczny

libsemigroups::Konieczny::Konieczny()

0-parameter constructor.

This is the standard constructor for a Konieczny instance with unspecified generators.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

See

add_generator and add_generators