Home
last modified time | relevance | path

Searched refs:dagNodeMap (Results 1 – 7 of 7) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaUp.cc348 PointerMap dagNodeMap; in upResultPair() local
374 PointerMap dagNodeMap; in upResultTriple() local
426 dagNodeMap, in upUnificationTriple()
453 dagNodeMap); in upDisjointSubstitutions()
491 dagNodeMap); in upSubstitution()
500 dagNodeMap); in upSubstitution()
553 dagNodeMap)); in upSmtSubstitution()
585 dagNodeMap); in upSmtResult()
835 dagNodeMap); in upSubstitution()
845 dagNodeMap); in upSubstitution()
[all …]
H A DmetaLevel.hh111 PointerMap& dagNodeMap);
116 PointerMap& dagNodeMap);
148 PointerMap& dagNodeMap);
271 PointerMap& dagNodeMap);
277 PointerMap& dagNodeMap);
331 PointerMap& dagNodeMap);
341 PointerMap& dagNodeMap,
350 PointerMap& dagNodeMap);
356 PointerMap& dagNodeMap,
365 PointerMap& dagNodeMap);
H A DinterpreterManagerSymbol.cc344 PointerMap dagNodeMap; in reduceTerm() local
346 reply[3] = metaLevel->upDagNode(dagNode, m, qidMap, dagNodeMap); in reduceTerm()
395 PointerMap dagNodeMap; in rewriteTerm() local
397 reply[3] = metaLevel->upDagNode(dagNode, m, qidMap, dagNodeMap); in rewriteTerm()
452 PointerMap dagNodeMap; in frewriteTerm() local
454 reply[3] = metaLevel->upDagNode(dagNode, m, qidMap, dagNodeMap); in frewriteTerm()
H A DmetaMatch.cc125 PointerMap dagNodeMap; in metaMatch() local
130 dagNodeMap); in metaMatch()
H A DmetaApply.cc268 PointerMap dagNodeMap; in metaXapply() local
269 DagRoot metaContext(metaLevel->upContext(top.first, m, replacement, qidMap, dagNodeMap)); in metaXapply()
H A DdescentFunctions.cc553 PointerMap dagNodeMap; in metaUpTerm() local
554 DagNode* d = metaLevel->upDagNode(subject->getArgument(0), m, qidMap, dagNodeMap); in metaUpTerm()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/Graph/AdjacencyMap/
H A DUnidirectional.hs516 , dagNodeMap :: Map n Int function
526 Map.keysSet (dagNodeMap g)
528 IntSet.fromList (Map.elems (dagNodeMap g))
533 (dagComponentMap g IntMap.! (dagNodeMap g Map.! n))
534 | n <- Map.keys (dagNodeMap g)
537 and [ dagNodeMap g Map.! n == i
570 Graph.reachable (dagGraph g) (lookup'' (dagNodeMap g) n)