Further analysis.
This commit is contained in:
parent
b7705e6749
commit
b6dab3c584
@ -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?
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user