Definition at line 385 of file monoid.cpp.
References monorder_.
Referenced by n_slots(), and rawMonoidNumberOfBlocks().