Skip to main content

flip

Function flip 

Source
pub fn flip(x: i32) -> i32
Expand description

Sentinel encoding used by the quotient graph: flip(x) = -2 - x. Used to mark absorbed elements (pe[e] < 0flip(parent)) and as a tag on elen for freshly eliminated zero-degree variables.