Public Types
using	L = typename LogicTraits<T>::type
using	Omega = typename L::Ω

Static Public Member Functions
template<typename Op> requires std::signed_integral<T>
static constexpr Omega	evaluate_arithmetic (T a, T b, Op)
	Lipschitz Boundary Check for Signed Integers.
template<typename Op> requires std::floating_point<T> && std::predicate<const Op&, T, T>
static constexpr Omega	evaluate_relational (T a, T b, Op rel)
	NaN Truth-Hole Check for IEEE 754.

Detailed Description

template<IsSpecies T>
struct dedekind::category::SubobjectClassifier< T >

logic__The_Subobject_Classifier

Formal elevation from Machine Result -> Omega.

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