dedekind::order::detail_runs_witness Namespace Reference

Typedefs
using	B = SpanSteps<int, Boole>
using	And = detail_runs::And<Boole>
using	Or = detail_runs::Or<Boole>

Functions
constexpr B	span (int lo, int hi)
constexpr RelabelSteps< B, detail_runs::Rfl< Boole > >	without (int p)

Variables
constexpr auto	closed = Strictness::NonStrict

Detailed Description

runs__Formal_Verification