Add valid_weighted_group

This commit is contained in:
Madeline Busig 2025-04-29 06:16:12 -07:00
parent 49f8d463ea
commit 81a0ad5628

View File

@ -153,6 +153,9 @@ public:
bool weighted_groups_full() const { bool weighted_groups_full() const {
return m_weighted_groups.full(); return m_weighted_groups.full();
} }
bool valid_weighted_group(weighted_group_id_t wgroup) const {
return wgroup < m_weighted_groups.size();
}
/** /**
* @brief Add new weighted group * @brief Add new weighted group
@ -175,7 +178,9 @@ public:
* *
* @ret @c true if the number of branch rules in the ruleset equals @c g_max_branch_rules, @c false otherwise * @ret @c true if the number of branch rules in the ruleset equals @c g_max_branch_rules, @c false otherwise
*/ */
bool branch_rules_full() const; bool branch_rules_full() const {
return m_branch_rules.full();
}
/** /**
* @brief Add a new unweighted branch rule to the ruleset * @brief Add a new unweighted branch rule to the ruleset