Struct RelativeQuantifier 

pub struct RelativeQuantifier {
    pub low: f64,
    pub high: f64,
}

A relative fuzzy quantifier: a monotone non-decreasing map from a proportion in [0,1] to a truth degree in [0,1], represented as a linear ramp 0 below low, 1 above high, linear between (low ≤ high).

Fields

low: f64

high: f64

Implementations

impl RelativeQuantifier

pub fn ramp(low: f64, high: f64) -> Self

“At least a low..high fraction” ramp — the building block for relative quantifiers. low == high is a crisp threshold.

pub fn most_example() -> Self

Zadeh’s classic illustrative “most” (ramp 0.3 → 0.8). Provided as an example only — governance quantifiers are coined by Timothy, not assumed here.

pub fn apply(self, proportion: f64) -> f64

Truth degree for the given satisfied-proportion.

Trait Implementations

impl Clone for RelativeQuantifier

fn clone(&self) -> RelativeQuantifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelativeQuantifier

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

Formats the value using the given formatter.

impl PartialEq for RelativeQuantifier

fn eq(&self, other: &RelativeQuantifier) -> 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 Copy for RelativeQuantifier

impl StructuralPartialEq for RelativeQuantifier