| /dports/lang/maude/maude-2.7.1/src/Mixfix/ |
| H A D | dagNodePrint.cc | 28 MixfixModule::computeColor(ColoringInfo& coloringInfo, DagNode* dagNode) in computeColor()
56 DagNode* dagNode, in suffix()
75 DagNode* dagNode, in handleIter()
140 DagNode* dagNode, in handleMinus()
164 DagNode* dagNode, in handleDivision()
188 DagNode* dagNode, in handleFloat()
202 DagNode* dagNode, in handleString()
217 DagNode* dagNode, in handleQuotedIdentifier()
232 DagNode* dagNode, in handleVariable()
247 DagNode* dagNode, in handleSMT_Number()
[all …]
|
| H A D | graphPrint.cc | 28 MixfixModule::graphPrint(ostream& s, DagNode* dagNode) in graphPrint()
43 DagNode* dagNode = static_cast<DagNode*>(visited.index2Pointer(i)); in graphPrint() local
124 MixfixModule::graphCount(DagNode* dagNode, PointerSet& visited, Vector<mpz_class>& counts) in graphCount()
|
| H A D | compiler.cc | 223 Compiler::outputGraph(DagNode* dagNode) in outputGraph()
241 Compiler::depthFirstTraversal(DagNode* dagNode, PointerSet& visited) in depthFirstTraversal()
|
| H A D | quotedIdentifierSymbol.cc | 200 QuotedIdentifierSymbol::termify(DagNode* dagNode) in termify()
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Persistent/ |
| H A D | ACU_Tree.hh | 118 ACU_Tree::find(DagNode* dagNode, ACU_Stack& path) const in find()
154 ACU_Tree::insertMult(DagNode* dagNode, int multiplicity) in insertMult()
174 ACU_RedBlackNode* dagNode = path.top(); in deleteMult() local
194 ACU_RedBlackNode* dagNode = path.top(); in deleteMult2() local
|
| H A D | ACU_RedBlackNode.hh | 166 DagNode* const dagNode; member in ACU_RedBlackNode
221 ACU_RedBlackNode::ACU_RedBlackNode(DagNode* dagNode, in ACU_RedBlackNode()
247 ACU_RedBlackNode::ACU_RedBlackNode(DagNode* dagNode, in ACU_RedBlackNode()
|
| H A D | ACU_Pair.hh | 42 DagNode* dagNode; member in ACU_Pair
|
| H A D | ACU_Find.cc | 29 DagNode* dagNode, in find()
|
| H A D | ACU_Tree.cc | 191 ACU_Tree::checkIntegrity(DagNode* dagNode, int multiplicity) const in checkIntegrity()
|
| /dports/graphics/opencollada/OpenCOLLADA-1.6.68/COLLADAMaya/src/ |
| H A D | COLLADAMayaSetHelper.cpp | 42 MFnDagNode dagNode ( dagPath ); in isMemberOfSet() local
66 MFnDagNode dagNode ( dagPath ); in isExcluded() local
|
| /dports/lang/maude/maude-2.7.1/src/BuiltIn/ |
| H A D | matrixOpSymbol.cc | 132 MatrixOpSymbol::downMatrixEntry(DagNode* dagNode, SparseMatrix& matrix, int& maxRowNr, int& maxColN… in downMatrixEntry()
159 MatrixOpSymbol::downMatrix(DagNode* dagNode, SparseMatrix& matrix, int& maxRowNr, int& maxColNr) in downMatrix()
176 MatrixOpSymbol::downVectorEntry(DagNode* dagNode, IntVec& vec, int& maxRowNr) in downVectorEntry()
199 MatrixOpSymbol::downVector(DagNode* dagNode, IntVec& vec, int& maxRowNr) in downVector()
219 MatrixOpSymbol::downAlgorithm(DagNode* dagNode, Algorithm& algorithm) in downAlgorithm()
|
| H A D | succSymbol.cc | 180 SuccSymbol::getSignedInt(const DagNode* dagNode, int& value) const in getSignedInt() argument
195 SuccSymbol::getSignedInt64(const DagNode* dagNode, Int64& value) const in getSignedInt64() argument
|
| H A D | stringSymbol.cc | 89 StringSymbol::termify(DagNode* dagNode) in termify()
|
| H A D | floatSymbol.cc | 113 FloatSymbol::termify(DagNode* dagNode) in termify()
|
| H A D | minusSymbol.cc | 108 MinusSymbol::getNeg(const DagNode* dagNode, mpz_class& result) const in getNeg() argument
|
| /dports/lang/maude/maude-2.7.1/src/AU_Persistent/ |
| H A D | AU_Deque.hh | 156 AU_Deque::pushLeft(DagNode* dagNode) in pushLeft()
244 AU_Deque::pushRight(DagNode* dagNode) in pushRight()
|
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_UnificationSubproblem2.cc | 125 AU_UnificationSubproblem2::dagToAbstract(DagNode* dagNode, UnificationContext& solution) in dagToAbstract()
150 AU_UnificationSubproblem2::assocToAbstract(DagNode* dagNode, WordSystem::Word& word, UnificationCon… in assocToAbstract()
171 DagNode* dagNode = subterms[i]; in makeWordSystem() local
|
| /dports/lang/maude/maude-2.7.1/src/SMT/ |
| H A D | SMT_NumberSymbol.cc | 125 SMT_NumberSymbol::termify(DagNode* dagNode) in termify()
|
| /dports/lang/maude/maude-2.7.1/src/Meta/ |
| H A D | metaUp.cc | 114 MetaLevel::upDagNode(DagNode* dagNode, in upDagNode()
281 MetaLevel::iterToken(DagNode* dagNode) in iterToken()
296 MetaLevel::upContext(DagNode* dagNode, in upContext()
343 MetaLevel::upResultPair(DagNode* dagNode, MixfixModule* m) in upResultPair()
366 MetaLevel::upResultTriple(DagNode* dagNode, in upResultTriple()
382 MetaLevel::upResult4Tuple(DagNode* dagNode, in upResult4Tuple()
636 DagNode* dagNode, in upMatchPair()
683 DagNode* dagNode = state.getStateDag(parentNr); in upTraceStep() local
|
| H A D | interpreterManagerSymbol.cc | 345 DagNode* dagNode = objectContext->root(); in reduceTerm() local
396 DagNode* dagNode = objectContext->root(); in rewriteTerm() local
453 DagNode* dagNode = objectContext->root(); in frewriteTerm() local
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_ExtensionInfo.hh | 90 ACU_ExtensionInfo::setUnmatched(DagNode* dagNode) in setUnmatched()
|
| H A D | ACU_Normalize.cc | 29 DagNode* dagNode, in copyAndBinaryInsert()
|
| /dports/lang/maude/maude-2.7.1/src/Core/ |
| H A D | redexPosition.hh | 52 DagNode* dagNode; member in RedexPosition
|
| /dports/lang/maude/maude-2.7.1/src/Variable/ |
| H A D | variableSymbol.cc | 93 VariableSymbol::termify(DagNode* dagNode) in termify()
|
| /dports/graphics/alembic/alembic-1.8.3/maya/AbcExport/ |
| H A D | MayaTransformWriter.cpp | 510 MFnDagNode dagNode(iDag); in MayaTransformWriter() local
608 MFnDagNode dagNode(dag); in MayaTransformWriter() local
691 MFnDagNode dagNode(iDag); in MayaTransformWriter() local
|