Skip to main content

SATURATION_ITERS

logicaffeine_compile::optimize::egraph

Constant SATURATION_ITERS 

Source 
pub const SATURATION_ITERS: usize = 8;
Expand description

Saturation stops after this many fixpoint iterations…