dedekind::category::Semidecided Struct Reference

The verdict of a bounded search, read in K₃ along the dominance \(\Sigma \hookrightarrow \Omega\): a witness found is ⊤, none found so far is U, and nothing is ever ⊥, since the absence of a witness within a budget refutes nothing. The one arrow by which "undecided" enters a computation. More...

Public Types
using	Domain = bool
using	Codomain = Ternary

Public Member Functions
constexpr Ternary	operator() (bool found) const

Detailed Description

The verdict of a bounded search, read in K₃ along the dominance \(\Sigma \hookrightarrow \Omega\): a witness found is ⊤, none found so far is U, and nothing is ever ⊥, since the absence of a witness within a budget refutes nothing. The one arrow by which "undecided" enters a computation.

---

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

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