dedekind::optimization::CriticalPathState< S, Cap > Struct Template Reference

Fold accumulator of annotate: the transient potential net paired with the critical-path predecessor map it induces. More...

Collaboration diagram for dedekind::optimization::CriticalPathState< S, Cap >:

Public Attributes
FiniteNet< S, Cap >	d {}
	The transient potential net d : V → S (the working memo).
FiniteNet< std::size_t, Cap >	pred {}
	The induced single-valued critical map pred : V → V.

Detailed Description

template<typename S, std::size_t Cap>
struct dedekind::optimization::CriticalPathState< S, Cap >

Fold accumulator of annotate: the transient potential net paired with the critical-path predecessor map it induces.

Promoted from the function-local Anno struct so the fold step (CriticalPathStep) that threads it is a named, inspectable type (#920) rather than a closure over an anonymous local.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/optimization/closure.cppm