Struct DependencyGraph 

pub struct DependencyGraph { /* private fields */ }

Dependency graph for schema components

Implementations

impl DependencyGraph

pub fn new() -> Self

pub fn from_symbol_table(table: &SymbolTable) -> Self

Build dependency graph from symbol table

pub fn add_predicate_dependency( &mut self, predicate: impl Into<String>, domain: impl Into<String>, )

Add a predicate dependency on a domain

pub fn add_variable_dependency( &mut self, variable: impl Into<String>, domain: impl Into<String>, )

Add a variable dependency on a domain

pub fn get_dependent_predicates(&self, domain: &str) -> HashSet<String>

Get all predicates that depend on a domain

pub fn get_dependent_variables(&self, domain: &str) -> HashSet<String>

Get all variables that depend on a domain

pub fn get_predicate_dependencies(&self, predicate: &str) -> HashSet<String>

Get all domains that a predicate depends on

pub fn compute_affected_components( &self, initial_domains: &HashSet<String>, ) -> AffectedComponents

Compute transitive closure of affected components

Trait Implementations

impl Clone for DependencyGraph

fn clone(&self) -> DependencyGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DependencyGraph

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

Formats the value using the given formatter.

impl Default for DependencyGraph

fn default() -> DependencyGraph

Returns the “default value” for a type.