dedekind::order::detail_cover_witness::StepToward Struct Reference

One successor step of a walk that looks for b. More...

Public Member Functions
constexpr Walk	operator() (Walk w, int) const

Public Attributes
int	b

Detailed Description

One successor step of a walk that looks for b.

---

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

• src/main/modules/dedekind/order/halfspace.cppm