From b6dab3c5842cf281f161036c49d82a04f0543ffa Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Wed, 31 Oct 2018 23:30:35 +0100 Subject: [PATCH] Further analysis. --- src/TODO-trampolines.txt | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/src/TODO-trampolines.txt b/src/TODO-trampolines.txt index ba95dfe..590b919 100644 --- a/src/TODO-trampolines.txt +++ b/src/TODO-trampolines.txt @@ -2,7 +2,7 @@ 1 subtermUnify arachne.c +961 1 term_iterate_open_leaves dotout.c +1790 // Could be replaced by term_iterate_leaves 3 unify mgu.c +233 ; mgu.c +247 ; mgu.c +281 -1 iterateLocalToOther prune_theorems.c +54 +1 iterateLocalToOther prune_theorems.c +108 1 term_iterate_leaves term.c +1145 1 term_iterate_deVar term.c +1544 @@ -12,3 +12,14 @@ term_iterate_deVar term_iterate_leaves term_iterate_state_leaves + +dependencies: + +iterateTermOther is called using makeDepend and addOther +subtermUnify is called using unifiesWithKeys +term_iterate_open_leaves is called using addsubterms +unify is called using unify_combine_enc and unify_combined_tup, and a callback using the keys list? (which propagates back to subtermunify data) +iterateLocalToOther is called using checkTerm +term_iterate_leaves is called using testleaf +term_iterate_deVar is not called? +