Searched defs:number_of_weighted_variables (Results 1 – 1 of 1) sorted by relevance
23 term_ordering::term_ordering(const short& number_of_weighted_variables, in term_ordering()83 term_ordering::term_ordering(const short& number_of_weighted_variables, in term_ordering()325 short term_ordering::number_of_weighted_variables() const in number_of_weighted_variables() function in term_ordering