[−][src]Module zdd::wrapped
ZDDs containing their factory.
They are equipped with the following operators:
Unary operators | Binary operators | ||
---|---|---|---|
zdd | elem | offset of elm in zdd | lhs + rhs | union |
zdd % elm | onset of elm in zdd | lhs - rhs | difference |
zdd ^ elm | change of elm in zdd | lhs & rhs | intersection |
lhs << rhs | subset |
Re-exports
pub use crate::factory; |
pub use crate::Iterator; |
pub use crate::ZddTree; |
pub use crate::ZddTreeOps; |
Structs
Zdd | A wrapper around a ZDD and its factory. |
Traits
ZddPrint | Printing and logging to graphviz. |
Functions
mk_factory | Creates a thread-safe factory. |
Type Definitions
Factory | An |