Struct ConstrainedPosteriorGeometry 

pub struct ConstrainedPosteriorGeometry {
    pub constraints: LinearInequalityConstraints,
    pub mode: Array1<f64>,
    pub unconstrained_center: Array1<f64>,
    pub correction: Option<ConstrainedPosteriorCorrection>,
}

Persisted identity of an inequality-truncated Laplace posterior.

These three objects must remain distinct:

• mode is the feasible optimizer solution and the reflective sampler’s valid starting point;
• unconstrained_center is the centre of the ambient Gaussian before truncation and therefore the reflective sampler’s target centre;
• the user-facing coefficient vector is the ambient centre plus the retained correction’s normal-coordinate mean shift (or exactly the ambient centre when truncation is invisible at f64 resolution).

Keeping the two locations next to the factored moment correction prevents a saved model from re-deriving either location from row evidence or from treating the reported posterior mean as though it were the optimizer mode.

Fields

constraints: LinearInequalityConstraints

Exact inequality system Aβ ≥ b in the same coefficient frame as the locations, correction lift, and ambient precision.

mode: Array1<f64>

unconstrained_center: Array1<f64>

correction: Option<ConstrainedPosteriorCorrection>

Moment correction when at least one inequality changes the answer at f64 resolution. None still records that an inequality system was fitted; it means the ambient centre is far enough inside every row that truncation is numerically invisible.

Implementations

impl ConstrainedPosteriorGeometry

pub fn posterior_mean(&self) -> Array1<f64>

pub fn validate_for_dimension(&self, dimension: usize) -> Result<(), String>

Trait Implementations

impl Clone for ConstrainedPosteriorGeometry

fn clone(&self) -> ConstrainedPosteriorGeometry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstrainedPosteriorGeometry

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConstrainedPosteriorGeometry

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ConstrainedPosteriorGeometry

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.