Method terms_postorder

src/ir/term/mod.rs:2168–2173 · view source on GitHub ↗

An iterator that visits each term in the computation, once.

(&self)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

statsMethod · 0.45

detailed_statsMethod · 0.45

parents_mapFunction · 0.45

deskolemize_witnessesFunction · 0.45

deskolemize_challengesFunction · 0.45

assert_all_vars_are_scalarsFunction · 0.45

link_allMethod · 0.45

n_storesFunction · 0.45

elim_oblivFunction · 0.45

newMethod · 0.45

traverseMethod · 0.45

termFunction · 0.85

popMethod · 0.80

collectMethod · 0.45

cloneMethod · 0.45

no test coverage detected