dedekind::category::Percent Struct Reference

The bounded confidence chain: a 101-grade De Morgan (Kleene) chain, self-dual about 50. More...

Collaboration diagram for dedekind::category::Percent:

Public Types
using	Ω = Percentage

Static Public Member Functions
static constexpr Percentage	AND (Percentage a, Percentage b) noexcept
	Meet ∧ = numeric minimum.
static constexpr Percentage	OR (Percentage a, Percentage b) noexcept
	Join ∨ = numeric maximum.
static constexpr Percentage	RFL (Percentage a) noexcept
	¬p = 100-p: reflection about the self-dual midpoint 50.

Static Public Attributes
static constexpr Percentage	True {100}
	The top pole ⊤ = full confidence 100.
static constexpr Percentage	False {0}
	The bottom pole ⊥ = no confidence 0.

Detailed Description

The bounded confidence chain: a 101-grade De Morgan (Kleene) chain, self-dual about 50.

Meet ∧ / join ∨ = numeric min / max on [0,100] (the numeric order is the confidence order); reflection ¬p = 100-p is the order-reversing involution swapping the poles (0 ↔ 100), fixing the self-dual midpoint 50. Not Boolean: the interior grades are uncomplemented (p∧¬p ≠ 0).

---

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

• src/main/modules/dedekind/category/logic.cppm