Skip to main content

is_closed_algebra

logicaffeine_compile::spatial::passes::from_qwen_ops

Function is_closed_algebra 

Source 
pub fn is_closed_algebra(p: &SpatialProgram) -> bool
Expand description

Every compute stage of a composition is one of the CLOSED algebra’s two shapes — the property each_composition_is_a_chain_of_the_closed_algebra asserts, exposed so a lock and a ledger read the same predicate rather than two copies of it.