Enum TimeBlockMonotonicity 

pub enum TimeBlockMonotonicity {
    EnforcedByCoordinateCone,
    EnforcedByRowConstraint,
    StructuralISpline,
}

How a time block’s parameterization enforces the derivative-guard monotonicity q'(t) ≥ guard.

The constraint set fed to the inner active-set / KKT machinery depends on the variant; consuming families dispatch on this to choose the right constraint shape and to refuse a mismatched parameterization (e.g. survival_marginal_slope cannot ride a coordinate-cone-only basis without re-introducing the phantom-multiplier bug it solved with the row-wise representation; survival_location_scale cannot ride a row-wise representation without making its reduced KKT system rank-deficient on the cone basis).

Variants

EnforcedByCoordinateCone

The time block’s coefficients are constrained by a per-coordinate cone β_j ≥ 0 (with appropriate offsets handled by the family). Used by location-scale / latent paths whose bases produce a non-negative derivative whenever the cone holds.

EnforcedByRowConstraint

The time block’s coefficients are constrained by row-wise D β + o ≥ guard over every observation row; needed when the basis admits negative-derivative directions that no coordinate cone can encode without leaving phantom KKT multipliers when a row binds. Used by survival_marginal_slope under the additive base.

StructuralISpline

The base is a structurally-monotone parameterization (e.g. q'(t) = guard + I(t)·γ with γ ≥ 0). Monotonicity holds pointwise from the cone; the family treats this exactly as a coordinate cone for constraint generation but the geometric claim is stronger and is recorded here for diagnostics and for future fast paths (e.g. skipping per-row validation).

Implementations

impl TimeBlockMonotonicity

pub fn is_coordinate_cone(self) -> bool

True when the variant can be enforced by a coordinate cone alone (no row-wise constraints required). Both EnforcedByCoordinateCone and StructuralISpline satisfy this; only EnforcedByRowConstraint requires the row-wise D β ≥ b constraint matrix.

pub fn requires_row_constraints(self) -> bool

True when row-wise D β + o ≥ guard constraints must be emitted for the inner active-set/KKT machinery to capture binding multipliers correctly.

Trait Implementations

impl Clone for TimeBlockMonotonicity

fn clone(&self) -> TimeBlockMonotonicity

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for TimeBlockMonotonicity

impl Debug for TimeBlockMonotonicity

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for TimeBlockMonotonicity

impl PartialEq for TimeBlockMonotonicity

fn eq(&self, other: &TimeBlockMonotonicity) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TimeBlockMonotonicity