Struct ResolutionAnalyzer 

pub struct ResolutionAnalyzer { /* private fields */ }

Resolution Graph Analyzer

Provides high-level analysis of resolution graphs to guide solver decisions

Implementations

impl ResolutionAnalyzer

pub fn new() -> Self

Create a new resolution analyzer

pub fn set_enabled(&mut self, enabled: bool)

Enable or disable analysis

pub fn is_enabled(&self) -> bool

Check if analysis is enabled

pub fn graph(&self) -> &ResolutionGraph

Get the resolution graph

pub fn graph_mut(&mut self) -> &mut ResolutionGraph

Get mutable access to the resolution graph

pub fn analyze(&mut self)

Analyze the current graph and update variable scores

pub fn variable_importance(&self, var: Var) -> f64

Get the importance score for a variable

Higher scores indicate more important variables for branching

pub fn get_important_vars(&self, k: usize) -> Vec<(Var, f64)>

Get the top-k most important variables

pub fn clear(&mut self)

Clear the analyzer state

pub fn stats(&self) -> &GraphStats

Get statistics

Trait Implementations

impl Debug for ResolutionAnalyzer

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

Formats the value using the given formatter.

impl Default for ResolutionAnalyzer

fn default() -> Self

Returns the “default value” for a type.