Struct QueryAnalyzer 

pub struct QueryAnalyzer { /* private fields */ }

Analyzes constraints to identify optimization opportunities.

Implementations

impl QueryAnalyzer

pub fn new() -> Self

Creates a new query analyzer.

pub fn analyze( &mut self, constraints: &[(String, Arc<dyn Constraint>)], ) -> Result<Vec<ConstraintAnalysis>, TermError>

Analyzes a set of constraints.

pub fn analyze_constraint( &self, name: String, constraint: Arc<dyn Constraint>, ) -> Result<ConstraintAnalysis, TermError>

Analyzes a single constraint.

pub fn clear_cache(&mut self)

Clears the analysis cache.

Trait Implementations

impl Debug for QueryAnalyzer

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

Formats the value using the given formatter.

impl Default for QueryAnalyzer

fn default() -> Self

Returns the “default value” for a type.