Skip to main content

MAX_NODES

logicaffeine_compile::optimize::egraph

Constant MAX_NODES 

Source 
pub const MAX_NODES: usize = 10_000;
Expand description

…or when the term bank would exceed this many nodes.