Skip to main content

blast_word

logicaffeine_compile::codegen_sva::bitblast

Function blast_word 

Source 
pub fn blast_word(e: &BoundedExpr) -> Option<Word>
Expand description

Blast a bitvector-VALUED BoundedExpr into the shared DAG — the bridge for a caller that still speaks the tree form.