Member types

This page contains information about the data members of the Sims1Stats class.

uint64_t libsemigroups::Sims1Stats::max_pending = 0

The maximum number of pending definitions.

A pending definition is just an edge that will be defined at some point in the future in the ActionDigraph represented by a Sims1 instance at any given moment.

This member tracks the maximum number of such pending definitions that occur during the running of the algorithms in Sims1.

uint64_t libsemigroups::Sims1Stats::total_pending = 0

The total number of pending definitions.

A pending definition is just an edge that will be defined at some point in the future in the ActionDigraph represented by a Sims1 instance at any given moment.

This member tracks the total number of pending definitions that occur during the running of the algorithms in Sims1. This is the same as the number of nodes in the search tree encounter during the running of Sims1.