Skip to main content

collect_vars_pub

logicaffeine_verify::equivalence

Function collect_vars_pub 

Source 
pub fn collect_vars_pub(expr: &VerifyExpr, vars: &mut HashSet<String>)
Expand description

Collect all variable names referenced in a VerifyExpr (public API).