[−][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

Printing and logging to graphviz.

Functions

Creates a thread-safe factory.

Type Definitions

An Arc of a factory.