Searched defs:getNrVariables (Results 1 – 4 of 4) sorted by relevance
/dports/lang/maude/maude-2.7.1/src/Core/ | ||
H A D | narrowingVariableInfo.hh | 47 NarrowingVariableInfo::getNrVariables() const in getNrVariables() function in NarrowingVariableInfo |
H A D | sortBdds.hh | 89 SortBdds::getNrVariables(int componentIndex) const in getNrVariables() function in SortBdds |
/dports/lang/maude/maude-2.7.1/src/Utility/ | ||
H A D | wordSystem.hh | 97 WordSystem::getNrVariables() const in getNrVariables() function in WordSystem |
H A D | wordLevel.hh | 180 WordLevel::getNrVariables() const in getNrVariables() function in WordLevel |