Skip to main content

blast_pred

logicaffeine_compile::codegen_sva::bitblast

Function blast_pred 

Source 
pub fn blast_pred(e: &BoundedExpr) -> Option<Pred>
Expand description

Blast a boolean-VALUED BoundedExpr into the shared DAG.