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. More...

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

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

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

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.

Typedef Documentation

◆ bdd_builder

using adiar::bdd_builder = typedef builder<bdd_policy>

Builder for BDDs.

See also: builder

◆ bdd_ptr

using adiar::bdd_ptr = typedef builder_ptr<bdd_policy>

Pointer for a BDD node created by a BDD builder.

See also: bdd_builder

◆ zdd_builder

using adiar::zdd_builder = typedef builder<zdd_policy>

Builder for ZDDs.

See also: builder

◆ zdd_ptr

using adiar::zdd_ptr = typedef builder_ptr<zdd_policy>

Pointer for a ZDD node created by a ZDD builder.

See also: zdd_builder