oxiz-math-0.3.0
- oxiz-math 0.3.0
- Docs.rs crate page
- Apache-2.0
- 22 July 2026
- Links
- Repository
- crates.io
- Source
- Owners
- cool-japan
- Dependencies
- hashbrown ^0.17 normal
  num-bigint ^0.4 normal
  num-integer ^0.1 normal
  num-rational ^0.4 normal
  num-traits ^0.2 normal
  rand ^0.10 normal optional
  rustc-hash ^2.1 normal
  smallvec ^1.15 normal
  thiserror ^2.0 normal
  criterion ^0.8 dev
  proptest ^1.11 dev
- Versions
- 100% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

NodeId

oxiz_math0.3.0

In oxiz_math::bdd

Type Alias NodeId

pub type NodeId = usize;

Expand description

Node identifier in the BDD. Special values: 0 = FALSE, 1 = TRUE