☰
In obddimal::bdd_manager
?
Constant
obddimal
::
bdd_manager
::
ZERO
source
·
[
−
]
pub const ZERO:
DDNode
;
Expand description
Terminal node “zero”