dedekind::sequences::bridge_meet_witness Namespace Reference

Enumerations
enum class	Strictness
	Whether the boundary is strict (>, <) or inclusive (>=, <=).

Variables
constexpr auto	A
constexpr auto	B
constexpr auto	AandB = dedekind::order::structured_and(A, B)
constexpr auto	D1
constexpr auto	D2
constexpr auto	D1andD2 = dedekind::order::structured_and(D1, D2)

Detailed Description

(#703 Slice 3a)

The iota_view bridge is a lattice homomorphism on the meet: to_iota_view(A ∧ B) has start = max(start_A, start_B) and bound = min(bound_A, bound_B), i.e. exactly the set-intersection bounds. Pinned at the type level via the shared iota_bounds_of helper.

Variable Documentation

A

auto dedekind::sequences::bridge_meet_witness::A

constexpr

Initial value:

= dedekind::order::Interval<int>::bounded(
    2, Strictness::NonStrict, 8, Strictness::Strict)

B

auto dedekind::sequences::bridge_meet_witness::B

constexpr

Initial value:

= dedekind::order::Interval<int>::bounded(
    5, Strictness::NonStrict, 10, Strictness::Strict)

D1

auto dedekind::sequences::bridge_meet_witness::D1

constexpr

Initial value:

= dedekind::order::Interval<int>::bounded(
    0, Strictness::NonStrict, 3, Strictness::Strict)

D2

auto dedekind::sequences::bridge_meet_witness::D2

constexpr

Initial value:

= dedekind::order::Interval<int>::bounded(
    5, Strictness::NonStrict, 10, Strictness::Strict)