n_vars()

int ResMonoidSparse::n_vars ( ) const

inline

Definition at line 133 of file res-moninfo-sparse.hpp.

{ return mNumVars; }

References mNumVars.