Enum QuantifierKind 

pub enum QuantifierKind {
    Universal,
    Existential,
    Most,
    Few,
    Many,
    Cardinal(u32),
    AtLeast(u32),
    AtMost(u32),
    Generic,
}

Quantifier types for first-order and generalized quantifiers.

Extends standard FOL with generalized quantifiers that cannot be expressed with ∀ and ∃ alone (e.g., “most”, “few”, “at least 3”).

Variants

Universal

Universal: ∀x (“every”, “all”, “each”).

Existential

Existential: ∃x (“some”, “a”, “an”).

Most

Proportional: “most X are Y” (>50% of domain).

Few

Proportional: “few X are Y” (<expected proportion).

Many

Vague large quantity: “many X are Y”.

Cardinal(u32)

Exact count: “exactly n X are Y”.

AtLeast(u32)

Lower bound: “at least n X are Y”.

AtMost(u32)

Upper bound: “at most n X are Y”.

Generic

Generic: “cats meow” (characterizing generalization).

Trait Implementations

impl Clone for QuantifierKind

fn clone(&self) -> QuantifierKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuantifierKind

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

Formats the value using the given formatter.

impl PartialEq for QuantifierKind

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

impl Eq for QuantifierKind

impl StructuralPartialEq for QuantifierKind