Struct ConditionTracker

pub struct ConditionTracker {
    ctx: Context,
    hashmap: HashMap<Bits, &'static Expr>,
    pub vec: Vec<(&'static Expr, Bits)>,
}

A structure for tracking condition evaluations within a given context.

It maintains an internal context used for condition evaluation, a mapping from bit representations to expression references for deduplication, and a public vector storing pairs of expression references and their corresponding bit information for ordered access or iteration.

Fields

ctx: Context

hashmap: HashMap<Bits, &'static Expr>

vec: Vec<(&'static Expr, Bits)>

Implementations

impl ConditionTracker

pub fn new(ctx: Context) -> Self

Creates a new condition tracker instance with an initialized context, hashmap, and vector. This function takes a context and returns an instance where internal collections are set to their empty defaults, allowing the tracker to accumulate conditions as they are inserted later.

pub fn insert(&mut self, expr: &Expr)

Inserts a condition expression into the tracker using its evaluated bit representation. This method calculates the bit signature of the provided expression and, if this signature is not already present in the internal storage, allocates the expression and registers it along with its corresponding bits.

pub fn len(&self) -> usize

Returns the number of conditions currently stored in the tracker.

Calculates and yields the length of the internal vector that maintains a record of condition-expression pairs, providing a quick way to assess how many conditions have been tracked.