mVariableNames

const std::vector<std::string> Monoid::mVariableNames

private

names of variables

Definition at line 101 of file monoid.hpp.

Referenced by elem_text_out(), Monoid(), Monoid(), and text_out().