Constant obddimal::bdd_manager::ONE

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

Terminal node “one”