Lines Matching refs:m_seen_options
49 m_seen_options.clear();
63 m_seen_options.insert (option_idx);
141 // This is the correct set of options if: 1). m_seen_options contains all of m_required_options[i]
142 // (i.e. all the required options at this level are a subset of m_seen_options); AND
143 // 2). { m_seen_options - m_required_options[i] is a subset of m_options_options[i] (i.e. all the rest of
144 // m_seen_options are in the set of optional options at this level.
146 // Check to see if all of m_required_options[i] are a subset of m_seen_options
147 if (IsASubset (GetRequiredOptions()[i], m_seen_options))
149 // Construct the set difference: remaining_options = {m_seen_options} - {m_required_options[i]}
151 OptionsSetDiff (m_seen_options, GetRequiredOptions()[i], remaining_options);
711 // m_seen_options are all part of a set that may be used together, but m_seen_options
725 // Therefore a set of options is correct if m_seen_options is a subset of the
729 if (IsASubset (m_seen_options, union_set))
