Struct PredicateAnalysis 

pub struct PredicateAnalysis<'a> { /* private fields */ }

Cached Boolean queries over one immutable graph level.

Shared Compute ancestry preserves correlated guards. The graph must be acyclic and predicates must name existing bit producers. The borrow prevents graph edits from invalidating retained predicates and query results.

Implementations

impl<'a> PredicateAnalysis<'a>

pub fn new(graph: &'a SubGraph) -> Self

Start a query cache borrowing this graph level, with finite defaults.

pub fn with_limits(graph: &'a SubGraph, limits: BooleanLimits) -> Self

Start a query cache with explicit decision-node and cumulative-work limits.

pub fn overlap( &mut self, left: Option<BloqNodeId>, right: Option<BloqNodeId>, ) -> Result<bool, Error>

Whether two guards can both hold; an absent guard is unconditional.

Errors

Returns crate::lowering::NodeTemplateInstanceMergeError for malformed predicate dataflow or exhausted Boolean resources.

pub fn overlap_values( &mut self, left: Option<ValueRef>, right: Option<ValueRef>, ) -> Result<bool, Error>

Whether selected output guards overlap.

Errors

Returns an error for malformed predicates or exhausted Boolean resources.

impl PredicateAnalysis<'_>

pub fn values_up_to( &mut self, predicates: &[BloqNodeId], limit: usize, ) -> Result<Vec<Vec<bool>>, Error>

Enumerate at most limit distinct, jointly reachable predicate tuples. Shared Boolean ancestry preserves equal and complementary inputs without enumerating all assignments to the underlying bit producers.

Errors

Returns malformed predicate dataflow or exhausted Boolean resources.

pub fn assignment_reachable( &mut self, predicates: &[(BloqNodeId, bool)], ) -> Result<bool, Error>

Whether a joint assignment is consistent with the Boolean dataflow.

Errors

Returns crate::lowering::NodeTemplateInstanceMergeError for malformed predicate dataflow or exhausted Boolean resources.

Trait Implementations

impl<'a> Debug for PredicateAnalysis<'a>

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

Formats the value using the given formatter.