Attributes

This page contains information about attributes of the Konieczny class.

Konieczny.degree(self: Konieczny) → int

Returns the degree of any and all elements.

Parameters

None

Returns

An int.

Konieczny.size(self: Konieczny) → int

Returns the size.

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Parameters

None

Returns

An int.

Konieczny.current_size(self: Konieczny) → int

Returns the current size.

Note

This function triggers no enumeration.

Parameters

None

Returns

An int.