Generators

This page contains information about the methods of the Konieczny class that relate to generators.

Konieczny.add_generator(self: Konieczny, x: Element) → None

Add a copy of an element to the generators.

Parameters

x (Element) -- the generator to add.

Returns

None

Konieczny.number_of_generators(self: Konieczny) → int

Returns the number of generators.

Parameters

None

Returns

An int.

Konieczny.generator(self: Konieczny, i: int) → Element

Returns the generator with specified index.

Parameters

i (int) -- the index of a generator.

Returns

An element.

Konieczny.generators(self: Konieczny) → Iterator

Returns an iterator pointing to the first generator.

This function does not trigger any enumeration; the iterator returned may be invalidated by any call to a method of the Konieczny class.

Parameters

None

Returns

An iterator.