Add valid_weighted_group
This commit is contained in:
parent
626486cadf
commit
07b94c996c
@ -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
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user