Struct ComputedDomain 

pub struct ComputedDomain { /* private fields */ }

A computed domain that is derived from other domains.

Computed domains are evaluated lazily and can represent complex domain transformations without materializing all elements.

Examples

use tensorlogic_adapters::{ComputedDomain, DomainComputation};

// Filter domain
let adults = ComputedDomain::new(
    "Adults",
    DomainComputation::Filter {
        base: "Person".to_string(),
        predicate: "is_adult".to_string(),
    }
);

// Union domain
let entities = ComputedDomain::new(
    "Entities",
    DomainComputation::Union {
        domains: vec!["Person".to_string(), "Organization".to_string()],
    }
);

Implementations

impl ComputedDomain

pub fn new(name: impl Into<String>, computation: DomainComputation) -> Self

Create a new computed domain.

Examples

use tensorlogic_adapters::{ComputedDomain, DomainComputation};

let domain = ComputedDomain::new(
    "FilteredDomain",
    DomainComputation::Filter {
        base: "Base".to_string(),
        predicate: "pred".to_string(),
    }
);

pub fn with_cardinality_estimate(self, estimate: usize) -> Self

Set a cardinality estimate for this computed domain.

Examples

use tensorlogic_adapters::{ComputedDomain, DomainComputation};

let domain = ComputedDomain::new(
    "Adults",
    DomainComputation::Filter {
        base: "Person".to_string(),
        predicate: "is_adult".to_string(),
    }
).with_cardinality_estimate(750);

pub fn name(&self) -> &str

Get the name of this computed domain.

pub fn computation(&self) -> &DomainComputation

Get the computation defining this domain.

pub fn cardinality_estimate(&self) -> Option<usize>

Get the cardinality estimate if available.

pub fn is_materialized(&self) -> bool

Check if this domain is materialized.

pub fn cardinality_bounds( &self, table: &SymbolTable, ) -> Result<(usize, usize), AdapterError>

Compute the cardinality bounds for this domain.

Returns (lower_bound, upper_bound) or an error if dependencies are missing.

pub fn validate(&self, table: &SymbolTable) -> Result<(), AdapterError>

Validate that all dependencies exist in the symbol table.

pub fn materialize(&mut self)

Mark this domain as materialized.

Trait Implementations

impl Clone for ComputedDomain

fn clone(&self) -> ComputedDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComputedDomain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ComputedDomain

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ComputedDomain

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

Formats the value using the given formatter.

impl PartialEq for ComputedDomain

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

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 ComputedDomain

impl StructuralPartialEq for ComputedDomain