Searched defs:getLeqSorts (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/maude/maude-2.7.1/src/Core/ | ||
| H A D | connectedComponent.cc | 117 ConnectedComponent::getLeqSorts(int index) const in getLeqSorts() function in ConnectedComponent |
| H A D | sort.hh | 118 Sort::getLeqSorts() const in getLeqSorts() function in Sort |