Constant obddimal::bdd_manager::ZERO

source · [−]
pub const ZERO: DDNode;
Expand description

Terminal node “zero”