Home
last modified time | relevance | path

Searched defs:nrConstraints (Results 1 – 2 of 2) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortConstraintTable.cc114 int nrConstraints = sortConstraints.length(); in compileSortConstraints() local
131 int nrConstraints = sortConstraints.length(); in constrainToSmallerSort2() local
/dports/lang/maude/maude-2.7.1/src/Utility/
H A DwordLevel.cc130 int nrConstraints = constraintMap.size(); in makeNewLevel() local