Returns the element size of the specified sector or 0 if it doesn't exist.
References std::unordered_map< Sector, Index >::at(), and std::unordered_map< Sector, Index >::count().
Referenced by syten::MPS::left_complement().
This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.