Template Function sequant::evaluate_impl(Args&&…)

Function Documentation

template<Trace EvalTrace = Trace::Default, typename ...Args>
ResultPtr sequant::evaluate_impl(Args&&... args)

Empty-cache overload of the recursive engine (see evaluate_impl): builds on a fresh CacheManager. Used by the batched evaluator’s hoisted-invariant build so that re-entry stays spelled evaluate_impl rather than the top-level evaluate.