Skip to main content

removed

Function removed 

Source
pub fn removed(f: &DerivedFacts) -> (Vec<(UnitId, Sensitivities)>, bool)
Expand description

The removed units with their sensitivities: removes_each[i] for removes[i] when the two are the same length, otherwise the union removes_sensitivity for each, and false (the display says so).