rssn-advanced 0.1.3

This is rssn-advanced: The next generation symbolic core of rssn.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

//! Per-symbol commutativity permission flags.
//!
//! Provides explicit control over which symbols support commutativity,
//! allowing the parallel splitter to safely partition expressions.
//!
//! Lock recovery: poisoned locks pass through transparently via
//! `PoisonError::into_inner` — we don't maintain any cross-thread
//! invariant that the panic would invalidate (`storage_review §2`,
//! Phase 7 cleanup).

use std::collections::HashSet;
use std::sync::{PoisonError, RwLock};

use crate::dag::symbol::SymbolId;

/// Manages explicit control over which symbols support commutativity.
#[derive(Debug, Default)]
pub struct SymbolPermissions {
    /// Thread-safe set of `SymbolId`s that have commutativity enabled.
    commutative_symbols: RwLock<HashSet<SymbolId>>,
}

impl SymbolPermissions {
    /// Creates a new `SymbolPermissions` manager.
    #[must_use]
    pub fn new() -> Self {
        Self {
            commutative_symbols: RwLock::new(HashSet::new()),
        }
    }

    /// Sets whether a symbol supports the commutative property.
    pub fn set_commutative(&self, sym: SymbolId, commutative: bool) {
        let mut guard = self
            .commutative_symbols
            .write()
            .unwrap_or_else(PoisonError::into_inner);
        if commutative {
            guard.insert(sym);
        } else {
            guard.remove(&sym);
        }
    }

    /// Checks if a symbol supports the commutative property.
    #[must_use]
    pub fn is_commutative(&self, sym: SymbolId) -> bool {
        let guard = self
            .commutative_symbols
            .read()
            .unwrap_or_else(PoisonError::into_inner);
        guard.contains(&sym)
    }
}