APPLY_CACHE_CAPACITY

taco_bdd::oxidd

Constant APPLY_CACHE_CAPACITY 

Source 
const APPLY_CACHE_CAPACITY: usize = 1024;
Expand description

Maximum number of nodes in the apply cache