Home
last modified time | relevance | path

Searched refs:index2Variable (Results 1 – 25 of 40) sorted by relevance

12

/dports/lang/maude/maude-2.7.1/src/Core/
H A DnarrowingVariableInfo.hh37 VariableDagNode* index2Variable(int index) const;
53 NarrowingVariableInfo::index2Variable(int index) const in index2Variable() function in NarrowingVariableInfo
H A DvariableInfo.hh43 Term* index2Variable(int index) const;
114 VariableInfo::index2Variable(int index) const in index2Variable() function in VariableInfo
H A DlocalBinding.cc112 " \"" << variableInfo.index2Variable(index) << in dump()
131 s << variableInfo->index2Variable(bindings[i].variableIndex); in dump()
H A DsortConstraint.cc63 QUOTE(index2Variable(getUnboundVariables().min())) << in check()
H A Dequation.cc82 QUOTE(index2Variable(getUnboundVariables().min())) << in check()
H A Drule.cc79 QUOTE(index2Variable(getUnboundVariables().min())) << in check()
/dports/lang/maude/maude-2.7.1/src/Higher/
H A DunificationProblem.cc96 Term* v = variableInfo.index2Variable(i); in UnificationProblem()
294 safeCast(VariableSymbol*, variableInfo.index2Variable(i)->symbol())->getSort() : in findOrderSortedUnifiers()
330 DebugAdvisory("Considering variable " << variableInfo.index2Variable(i)); in findOrderSortedUnifiers()
331 Sort* sort = safeCast(VariableSymbol*, variableInfo.index2Variable(i)->symbol())->getSort(); in findOrderSortedUnifiers()
377 safeCast(VariableSymbol*, variableInfo.index2Variable(fv)->symbol())->getSort() : in findOrderSortedUnifiers()
419 safeCast(VariableSymbol*, variableInfo.index2Variable(i)->symbol())->getSort() : in findOrderSortedUnifiers()
H A DvariantSearch.cc82 VariableDagNode* v = variableInfo.index2Variable(i); in VariantSearch()
117 Sort* sort = safeCast(VariableSymbol*, variableInfo.index2Variable(i)->symbol())->getSort(); in VariantSearch()
392 DagNode* v = variableInfo.index2Variable(i); in dumpVariant()
H A DnarrowingUnificationProblem.cc228 return safeCast(VariableSymbol*, preEquation->index2Variable(index)->symbol())->getSort(); in variableIndexToSort()
236 …return safeCast(VariableSymbol*, variableInfo.index2Variable(index - firstTargetSlot)->symbol())->… in variableIndexToSort()
H A DsearchState.cc156 if (userVar->equal(varInfo.index2Variable(j))) in initSubstitution()
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DuserLevelRewritingContext.cc293 DagNode* v = variableInfo->index2Variable(i); in traceNarrowingStep()
347 DagNode* v = variableInfo.index2Variable(i); in traceVariantNarrowingStep()
371 DagNode* v = originalVariables.index2Variable(i); in traceVariantNarrowingStep()
385 DagNode* v = originalVariables.index2Variable(i); in traceVariantNarrowingStep()
451 Term* v = varInfo.index2Variable(i); in printSubstitution()
H A DprintAttribute.cc82 VariableTerm* v = safeCast(VariableTerm*, variableInfo.index2Variable(i)); in findVariableIndex()
101 s << variableInfo.index2Variable(-1 - item); in print()
H A Dsearch.cc82 QUOTE(pattern->index2Variable(pattern->getUnboundVariables().min())) << in search()
479 DagNode* v = variableInfo.index2Variable(i); in getVariants()
574 DagNode* v = variableInfo.index2Variable(i); in variantUnify()
H A Dmatch.cc55 QUOTE(pattern->index2Variable(pattern->getUnboundVariables().min())) << in match()
/dports/lang/maude/maude-2.7.1/src/SMT/
H A DSMT_RewriteSearchState.cc218 …DagNode* newVariable = engine->makeFreshVariable(currentRule->index2Variable(i), newVariableNumber… in checkConsistancy()
220 …DebugAdvisory("variable " << currentRule->index2Variable(i) << " is unbound and so is bound to fre… in checkConsistancy()
224 DebugAdvisory("variable " << currentRule->index2Variable(i) << " is bound to " << binding); in checkConsistancy()
/dports/lang/maude/maude-2.7.1/src/Variable/
H A DvariableLhsAutomaton.cc76 " \"" << variableInfo.index2Variable(index) << in dump()
/dports/lang/maude/maude-2.7.1/src/StrategyLanguage/
H A DtestStrategy.cc56 QUOTE(pattern.index2Variable(pattern.getUnboundVariables().min())) << in TestStrategy()
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaUp.cc448 VariableTerm* variable = safeCast(VariableTerm*, variableInfo.index2Variable(i)); in upDisjointSubstitutions()
487 return upAssignment(variableInfo.index2Variable(0), in upSubstitution()
496 args[i] = upAssignment(variableInfo.index2Variable(i), in upSubstitution()
549 args.append(upAssignment(variableInfo.index2Variable(0), in upSmtSubstitution()
831 return upAssignment(variableInfo.index2Variable(0), in upSubstitution()
841 args[i] = upAssignment(variableInfo.index2Variable(i), in upSubstitution()
879 VariableDagNode* variable = variableInfo.index2Variable(i); in upDisjointSubstitutions()
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_Subproblem.cc116 " \"" << variableInfo.index2Variable(varIndex) << "\"\n"; in dump()
/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_LhsAutomaton.cc294 " \"" << variableInfo.index2Variable(r.variable.index) << "\"\n"; in dump()
327 s << " \"" << variableInfo.index2Variable(f.variable.index) << '"'; in dump()
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeLhsAutomaton.cc317 " \"" << variableInfo.index2Variable(uncertainVariables[i].varIndex) << '"'; in dump()
327 " \"" << variableInfo.index2Variable(boundVariables[i].varIndex) << '"'; in dump()
H A DfreeRemainder.cc432 s << " \"" << equation->index2Variable(index) << '"'; in dump()
444 " \"" << equation->index2Variable(boundVariables[i].varIndex) << "\"\n"; in dump()
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_VarLhsAutomaton.cc194 " \"" << variableInfo.index2Variable(stripperVarIndex) << '"' << in dump()
H A DACU_CollectorLhsAutomaton.cc222 " \"" << variableInfo.index2Variable(collectorVarIndex) << in dump()
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_LhsAutomaton.cc183 variableInfo.index2Variable(varIndex) << "\"\tsort = \"" << sort << "\"\n"; in dump()

12