Skip to main content

collect_int_vars_pub

logicaffeine_verify::equivalence

Function collect_int_vars_pub 

Source 
pub fn collect_int_vars_pub(
    expr: &VerifyExpr,
    int_vars: &mut HashMap<String, Int>,
)
Expand description

Collect integer-typed variable names from a VerifyExpr (public API).