local_vars

std::vector<int> Monoid::local_vars

private

These are the variables which are < 1 in the monomial order.

Definition at line 138 of file monoid.hpp.

Referenced by has_monomials_lt_one(), is_local(), and numNonTermOrderVariables().