Struct Rule 

pub struct Rule {
    pub antecedent: Antecedent,
    pub consequent: Vec<Consequent>,
}

Full fuzzy rule pairing an antecedent with one or more consequents.

• antecedent encodes the IF-part as an expression tree of atomic predicates combined with AND/OR/NOT using the default Min–Max family.
• consequent lists one or more THEN-part outputs; each is evaluated over its variable domain during implication.

Fields

antecedent: Antecedent

IF-part expressed as an Antecedent AST over input variables/terms.

consequent: Vec<Consequent>

THEN-parts listing output variable/term pairs to implicate.

Implementations

impl Rule

pub fn activation<KI, KV>( &self, input: &HashMap<KI, Float>, vars: &HashMap<KV, Variable>, ) -> Result<Float>

where KI: Eq + Hash + Borrow<str>, KV: Eq + Hash + Borrow<str>,

Evaluate the antecedent against crisp inputs to obtain activation.

Type parameters

• KI: key type for input, must borrow as str (e.g., &str).
• KV: key type for vars, must borrow as str.

Returns the activation degree alpha ∈ [0, 1] for this rule.

Errors

• FuzzyError::NotFound if an input or variable is missing.
• FuzzyError::TypeMismatch if the antecedent references an unknown term.
• FuzzyError::OutOfBounds if an input value lies outside a variable’s domain.

pub fn implicate<KV>( &self, alpha: Float, vars: &HashMap<KV, Variable>, sampler: &UniformSampler, ) -> Result<HashMap<String, Vec<Float>>>

where KV: Eq + Hash + Borrow<str>,

Apply implication to produce discretized membership outputs.

For each Consequent, this function:

1. retrieves the target variable’s domain, 2) builds an evenly spaced grid of sampler.n points, 3) evaluates the consequent term’s membership μ_B(x) on that grid, and 4) applies clipping via min(alpha, μ_B(x)).

The result is a map from variable name to the vector of sampled values.

Errors

• FuzzyError::NotFound if a variable or term cannot be found.
• FuzzyError::OutOfBounds if evaluation occurs outside the domain.

Note

• The x-grid spacing is (max - min) / (sampler.n - 1) so the vector always includes both domain endpoints.

pub fn get_vars(self)

Placeholder: check if a given variable exists within a rule.

pub fn validate<KV>(&self, vars: &HashMap<KV, Variable>) -> Result<()>

where KV: Eq + Hash + Borrow<str>,

Validate that this rule references only existing variables and terms.

Ensures all antecedent atoms and consequents point to variables present in vars and that the referenced term labels exist within those variables’ term maps. Returns Ok(()) on success, or NotFound errors identifying the missing Var or Term.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

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

Performs copy-assignment from source.