Struct ExpressionDependencies 

pub struct ExpressionDependencies {
    pub predicates: HashSet<String>,
    pub variables: HashSet<String>,
    pub domains: HashSet<String>,
    pub config_hash: u64,
}

Tracks dependencies of compiled expressions.

Fields

predicates: HashSet<String>

Predicates referenced in the expression

variables: HashSet<String>

Variables referenced in the expression

domains: HashSet<String>

Domains used in the expression

config_hash: u64

Configuration hash (to detect strategy changes)

Implementations

impl ExpressionDependencies

pub fn new() -> Self

Create a new empty dependency set.

pub fn analyze(expr: &TLExpr, ctx: &CompilerContext) -> Self

Analyze an expression and extract its dependencies.

Trait Implementations

impl Clone for ExpressionDependencies

fn clone(&self) -> ExpressionDependencies

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionDependencies

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

Formats the value using the given formatter.

impl Default for ExpressionDependencies

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for ExpressionDependencies

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

impl StructuralPartialEq for ExpressionDependencies