mVariableNames

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

private

Definition at line 112 of file FreeMonoid.hpp.

Referenced by elem_text_out(), FreeMonoid(), numVars(), and variableNames().