Module overlap 

Rule overlap and association utilities.

This module provides pure functions to determine overlap relationships between partition expressions and to associate rule sets.

Structs

ValueRange 🔒

Represents a value range derived from a group of nucleons for the same column

Functions

associate_from_to

Associates each expression in from_exprs with indices of overlapping expressions in to_exprs.

atomic_exprs_overlap

Check if two atomic expressions can be both satisfied, i.e., whether they overlap on all common columns.

expr_pair_overlap 🔒

Pairwise overlap check between two expression lists.

nucleons_to_range 🔒

Convert nucleons for the same column into a ValueRange