dedekind::order::detail_interval Namespace Reference

Classes
struct	AsInterval
	A piece as the interval it is. More...

Functions
template<typename V>
constexpr std::optional< Bound< V > >	tighter_lower (const std::optional< Bound< V > > &a, const std::optional< Bound< V > > &b)
	The tighter of two lower sides: the larger bound; at a tie the strict one. An absent side is no constraint.
template<typename V>
constexpr std::optional< Bound< V > >	tighter_upper (const std::optional< Bound< V > > &a, const std::optional< Bound< V > > &b)
	The dual: the smaller bound; at a tie the strict one.

Detailed Description

halfspace__Union_And_Complement

The union of two intervals and the complement of one leave the intervals: they stay the terms Join and Not, read through their normal form (steps, :runs) by the query that needs it.

Function Documentation

tighter_lower()

template<typename V>

std::optional< Bound< V > > dedekind::order::detail_interval::tighter_lower ( const std::optional< Bound< V > > & a, const std::optional< Bound< V > > & b )

constexpr

The tighter of two lower sides: the larger bound; at a tie the strict one. An absent side is no constraint.

Template Parameters

V	the carrier.