Enum DomainComputation 

pub enum DomainComputation {
    Filter {
        base: String,
        predicate: String,
    },
    Union {
        domains: Vec<String>,
    },
    Intersection {
        domains: Vec<String>,
    },
    Difference {
        base: String,
        subtract: String,
    },
    Product {
        domains: Vec<String>,
    },
    PowerSet {
        base: String,
    },
    Projection {
        product: String,
        index: usize,
    },
    Custom {
        description: String,
        formula: String,
    },
}

Types of domain computations.

Each variant represents a different way of deriving a new domain from existing domains.

Variants

Filter

Filter a base domain by a predicate.

Creates a subset of the base domain containing only elements satisfying the predicate.

Fields

base: String

Base domain to filter.

predicate: String

Predicate name for filtering.

Union

Union of multiple domains.

Creates a domain containing elements from all source domains.

Fields

domains: Vec<String>

Source domains to union.

Intersection

Intersection of multiple domains.

Creates a domain containing only elements present in all source domains.

Fields

domains: Vec<String>

Source domains to intersect.

Difference

Difference between two domains (A - B).

Creates a domain containing elements in the first domain but not in the second.

Fields

base: String

Base domain.

subtract: String

Domain to subtract.

Product

Product of domains.

Creates a cartesian product of the source domains.

Fields

domains: Vec<String>

Domains to take product of.

PowerSet

Power set of a domain.

Creates a domain containing all subsets of the base domain.

Fields

base: String

Base domain.

Projection

Projection from a product domain.

Extracts a component from a product domain.

Fields

product: String

Product domain to project from.

index: usize

Index of component to project.

Custom

Custom computation with a formula.

Allows user-defined domain computations with arbitrary logic.

Fields

description: String

Description of the computation.

formula: String

Formula or implementation reference.

Trait Implementations

impl Clone for DomainComputation

fn clone(&self) -> DomainComputation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DomainComputation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DomainComputation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DomainComputation

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

Formats the value using the given formatter.

impl PartialEq for DomainComputation

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for DomainComputation

impl StructuralPartialEq for DomainComputation