| /dports/lang/maude/maude-2.7.1/src/Higher/ |
| H A D | variantSearch.hh | 54 const Vector<DagNode*>* getNextVariant(int& nrFreeVariables, int& parentIndex, bool& moreInLayer);
55 const Vector<DagNode*>* getNextUnifier(int& nrFreeVariables);
61 …const Vector<DagNode*>* getLastReturnedVariant(int& nrFreeVariables, int& parentIndex, bool& moreI…
65 const Vector<DagNode*>* getLastReturnedUnifier(int& nrFreeVariables);
114 VariantSearch::getLastReturnedUnifier(int& nrFreeVariables) in getLastReturnedUnifier() argument
116 return variantCollection.getLastReturnedVariant(nrFreeVariables); in getLastReturnedUnifier()
|
| H A D | variantSearch.cc | 208 VariantSearch::getNextVariant(int& nrFreeVariables, int& parentIndex, bool& moreInLayer) in getNextVariant() argument
217 …variantCollection.getNextSurvivingVariant(nrFreeVariables, &variantNumber, &parentNumber, &moreInL… in getNextVariant()
224 …v = variantCollection.getNextSurvivingVariant(nrFreeVariables, &variantNumber, &parentNumber, &mor… in getNextVariant()
241 VariantSearch::getLastReturnedVariant(int& nrFreeVariables, int& parentIndex, bool& moreInLayer) in getLastReturnedVariant() argument
244 …const Vector<DagNode*>* v = variantCollection.getLastReturnedVariant(nrFreeVariables, &parentNumbe… in getLastReturnedVariant()
251 VariantSearch::getNextUnifier(int& nrFreeVariables) in getNextUnifier() argument
255 const Vector<DagNode*>* v = variantCollection.getNextSurvivingVariant(nrFreeVariables); in getNextUnifier()
264 v = variantCollection.getNextSurvivingVariant(nrFreeVariables); in getNextUnifier()
|
| H A D | variantFolder.cc | 232 VariantFolder::getNextSurvivingVariant(int& nrFreeVariables, int* variantNumber, int* parentNumber,… in getNextSurvivingVariant() argument
239 nrFreeVariables = nextVariant->second->nrFreeVariables; in getNextSurvivingVariant()
265 VariantFolder::getLastReturnedVariant(int& nrFreeVariables, int* parentNumber, bool* moreInLayer) in getLastReturnedVariant() argument
269 nrFreeVariables = currentVariant->second->nrFreeVariables; in getLastReturnedVariant()
359 nrFreeVariables = variableInfo.getNrRealVariables(); in RetainedVariant()
|
| H A D | variantFolder.hh | 54 const Vector<DagNode*>* getNextSurvivingVariant(int& nrFreeVariables,
62 const Vector<DagNode*>* getLastReturnedVariant(int& nrFreeVariables,
74 int nrFreeVariables; // number of variables occuring in variant member
|
| H A D | unificationProblem.cc | 371 int nrFreeVariables = freeVariables.size(); in findOrderSortedUnifiers() local
373 for (int i = 0; i < nrFreeVariables; ++i) in findOrderSortedUnifiers()
407 if (nrFreeVariables > 0) in findOrderSortedUnifiers()
|
| H A D | ChangeLog | 659 * variantSearch.hh (getNextVariant): pass back nrFreeVariables
661 * variantSearch.cc (expand): commented out nrFreeVariables change
667 * variantFolder.cc (RetainedVariant): fill out nrFreeVariables
668 (getNextSurvivingVariant): return nrFreeVariables
674 pass nrFreeVariables to insertUnifier()
675 (findNextVariant): get nrFreeVariables from
678 * unifierFilter.hh (SimpleRootContainer): add nrFreeVariables to
682 * unifierFilter.cc (getNextSurvivingUnifier): return nrFreeVariables
683 (insertUnifier): store nrFreeVariables
|
| /dports/lang/maude/maude-2.7.1/src/Meta/ |
| H A D | metaVariant.cc | 101 int nrFreeVariables; in metaGetVariant2() local
111 variant = vs->getLastReturnedVariant(nrFreeVariables, parentIndex, moreInLayer); in metaGetVariant2()
117 variant = vs->getNextVariant(nrFreeVariables, parentIndex, moreInLayer); in metaGetVariant2()
132 mpz_class lastVarIndex = varIndex + nrFreeVariables; in metaGetVariant2()
216 int nrFreeVariables; in metaVariantUnify2() local
223 unifier = vs->getLastReturnedUnifier(nrFreeVariables); in metaVariantUnify2()
229 unifier = vs->getNextUnifier(nrFreeVariables); in metaVariantUnify2()
244 mpz_class lastVarIndex = varIndex + nrFreeVariables; in metaVariantUnify2()
|
| /dports/lang/maude/maude-2.7.1/src/Utility/ |
| H A D | mpzGcdInit.cc | 106 nrFreeVariables = nrVariables - nrEquations; in integerGaussianElimination()
114 for (int j = 0; j < nrFreeVariables; j++) in integerGaussianElimination()
174 int nrEquations = nrVariables - nrFreeVariables; in initializeGcd()
178 int nrGcds = nrFreeVariables - 1; in initializeGcd()
241 for (int i = nrFreeVariables - 1; i >= 0; i--) in initializeGcd()
285 stack.resize(nrFreeVariables); in initializeGcd()
|
| H A D | mpzGcdBasedSolver.cc | 72 for (; sp < nrFreeVariables; ++sp) in nextSolution()
74 if (!((sp == nrFreeVariables - 1) ? fillOutLastEntry() : fillOutStackEntry(sp))) in nextSolution()
83 sp = nrFreeVariables; in nextSolution()
246 int prediag = nrFreeVariables - 1; in fillOutLastEntry()
410 for (int i = nrFreeVariables - 1; i >= 0; --i) in solveDiagonal()
|
| H A D | mpzSystem.hh | 121 int nrFreeVariables; // free variables are those not on the diagonal member in MpzSystem
|
| H A D | ChangeLog | 756 * mpzGcdBasedSolver.cc (nextSolution): handle nrFreeVariables == 0
770 * mpzGcdInit.cc (integerGaussianElimination): initialize nrFreeVariables
778 by nrFreeVariables
|
| /dports/lang/maude/maude-2.7.1/src/Mixfix/ |
| H A D | search.cc | 464 int nrFreeVariables; in getVariants() local
467 …while (counter != limit && (variant = vs.getNextVariant(nrFreeVariables, parentIndex, moreInLayer)… in getVariants()
563 int nrFreeVariables; in variantUnify() local
564 while (counter != limit && (unifier = vs.getNextUnifier(nrFreeVariables))) in variantUnify()
|
| /dports/lang/maude/maude-2.7.1/src/FreeTheory/ |
| H A D | freeRemainder.cc | 92 int nrFreeVariables = freeVars.length(); in FreeRemainder() local
93 for (int i = 0; i < nrFreeVariables; i++) in FreeRemainder()
|
| H A D | ChangeLog | 1231 nrFreeVariables
1236 (class FreeRemainder): delete data member nrFreeVariables
1258 nrFreeVariables until we have processed pseudo variables which
1265 nrFreeVariables, equation
1268 nrFreeVariables; made foreign const
|