Function eval_cached

src/ir/term/eval.rs:16–42 · view source on GitHub ↗

Recursively the term `t`, using variable values in `h` and storing intermediate evaluations in the cache `vs`.

(
    t: &Term,
    h: &FxHashMap<String, Value>,
    vs: &'a mut TermMap<Value>,
)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

evalFunction · 0.85

evalMethod · 0.85

eval_allMethod · 0.85

eval_valueFunction · 0.85

popMethod · 0.80

contains_keyMethod · 0.80

pushMethod · 0.80

cloneMethod · 0.45

csMethod · 0.45

unwrapMethod · 0.45

getMethod · 0.45

no test coverage detected