Definition at line 73 of file gbweight.cpp.
74{
75
76
77 if (f == nullptr)
78 {
79 initial_term_weight = 0;
80 return 0;
81 }
83 initial_term_weight = deg;
84 for (
const gbvector *t = f->
next; t !=
nullptr; t = t->
next)
85 {
87 if (tdeg > deg) deg = tdeg;
88 }
89
90 return deg;
91}
int gbvector_term_weight(const gbvector *f) const
References gbvector_term_weight(), and gbvector::next.