Manual bottom-up construction of decision diagrams. More...

Classes
class	adiar::builder< Policy >
	A builder for decision diagrams. More...

class	adiar::builder_ptr< Policy >
	The pointer type that builders use to identify the nodes they have constructed in a decision diagram. More...

Typedefs
using	adiar::bdd_ptr = builder_ptr< bdd_policy >
	Pointer for a BDD node created by a BDD builder.

using	adiar::zdd_ptr = builder_ptr< zdd_policy >
	Pointer for a ZDD node created by a ZDD builder.

using	adiar::bdd_builder = builder< bdd_policy >
	Builder for BDDs.

using	adiar::zdd_builder = builder< zdd_policy >
	Builder for ZDDs.

Detailed Description

Manual bottom-up construction of decision diagrams.

In some cases, one may already know the shape of a bdd and/or as a zdd for a more complex function. In those cases, it is much cheaper to construct them by hand than to manipulate logic formulas.