Struct FilterConstants 

pub struct FilterConstants {
    pub degree: u32,
    pub epsilon: f64,
    pub kappa: f64,
    pub d_min: f64,
    pub d_max: f64,
}

The constants of the filter of a predicate, as f64.

The filter decides when d_min <= D <= d_max and |value| > (epsilon * D + kappa * E) * D^(degree - 1).

Fields

degree: u32

The degree k of the form.

epsilon: f64

The coefficient of D^k, rounded up.

kappa: f64

The coefficient of E * D^(k - 1), rounded up.

d_min: f64

The smallest D for which the bound covers underflow: a power of two below 1.

d_max: f64

The largest D for which no node overflows: a power of two above 1.

Trait Implementations

impl Clone for FilterConstants

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FilterConstants

impl Debug for FilterConstants

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

Formats the value using the given formatter.

impl PartialEq for FilterConstants

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FilterConstants