hub / github.com/circify/circ / parents_map

Function parents_map

src/ir/term/extras.rs:133–142 · view source on GitHub ↗

Build a map from every term in the computation to its parents. Guarantees that every computation term is a key in the map. If there are no parents, the value will be empty.

(c: &Computation)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

deskolemize_challengesFunction · 0.85

Calls 6

pushMethod · 0.80

terms_postorderMethod · 0.45

insertMethod · 0.45

cloneMethod · 0.45

csMethod · 0.45

unwrapMethod · 0.45

Tested by

no test coverage detected