pub fn run_elimination(
ws: &mut Workspace,
aggressive: bool,
) -> Result<StepFlops, OrderingError>Expand description
Run the main AMD elimination loop until every live supervariable has been either pivoted or dense-deferred. Returns the accumulated flop counts.
Mass elimination and supervariable detection are absent (Slice
B). Inline garbage collection is live; fixtures whose working
set transiently exceeds iwlen recover via in-place compaction
and bump ws.ncmpa.
At exit: ws.nel == ws.n, every pe[i] either points to a
live parent (to be path-compressed by the postorder phase) or
is NONE / flip(parent).