Struct RuleConflictResolver 

pub struct RuleConflictResolver { /* private fields */ }

Production-quality conflict detector and resolver for logic rule sets.

See the module-level documentation for a full description.

Implementations

impl RuleConflictResolver

pub fn new(config: ResolverConfig) -> Self

Create a new resolver with the given configuration.

pub fn add_rule(&mut self, rule: LogicRule) -> Result<(), ResolverError>

Add a rule to the resolver.

An immediate check for ConflictType::DirectContradiction with every existing rule that shares the same head is performed. The statistics are updated but the conflicts are not automatically resolved.

Errors

• ResolverError::MaxRulesExceeded when the hard cap would be breached.

pub fn remove_rule(&mut self, id: &str) -> Result<(), ResolverError>

Remove a rule by ID.

Errors

• ResolverError::RuleNotFound when no such rule exists.

pub fn detect_conflicts(&mut self) -> Vec<ConflictRecord>

Run a full conflict scan and return all detected ConflictRecords.

Detection order:

1. ConflictType::DirectContradiction
2. ConflictType::PriorityConflict
3. ConflictType::CyclicDependency (if enabled in config)
4. ConflictType::UndercutConflict
5. ConflictType::RebuttalConflict

pub fn resolve( &mut self, conflict: &ConflictRecord, ) -> Result<String, ResolverError>

Resolve a single conflict record and return the winning rule ID.

The resolution strategy is taken from self.config.default_strategy.

Errors

• ResolverError::RuleNotFound when a rule referenced in the conflict no longer exists.
• ResolverError::UnresolvableConflict when the strategy is ResolutionStrategy::AskOracle.
• ResolverError::CyclicDependency for cyclic conflicts (cannot be resolved automatically).

pub fn resolve_all( &mut self, ) -> Vec<(ConflictRecord, Result<String, ResolverError>)>

Resolve all conflicts returned by detect_conflicts and return each result paired with its conflict record.

pub fn applicable_rules<'a>(&'a self, facts: &[String]) -> Vec<&'a LogicRule>

Return all rules whose positive body conditions are a subset of facts.

Negated body conditions (prefixed with "NOT:") are intentionally ignored during this applicability check.

pub fn winning_rule<'a>( &'a self, head: &str, facts: &[String], ) -> Option<&'a LogicRule>

Among the applicable rules for head, pick the winner according to the configured default strategy.

Returns None when no rule for that head is applicable.

pub fn stats(&self) -> ResolverStats

Return a snapshot of current resolver statistics.