Conversion to BDDs

Conversion from Zero-suppressed Decision Diagrams . More...

Functions
__bdd	adiar::bdd_from (const zdd &A, const generator< bdd::label_type > &dom)
	Obtains the BDD that represents the same function/set as the given ZDD within the given domain.
template<typename ForwardIt >
__bdd	adiar::bdd_from (const zdd &A, ForwardIt begin, ForwardIt end)
	Obtains the BDD that represents the same function/set as the given ZDD within the given domain.
__bdd	adiar::bdd_from (const zdd &A)
	Obtains the BDD that represents the same function/set as the given ZDD within the global domain.

Detailed Description

Conversion from Zero-suppressed Decision Diagrams .

Function Documentation

bdd_from() [1/3]

__bdd adiar::bdd_from

(

const zdd &

A

)

Obtains the BDD that represents the same function/set as the given ZDD within the global domain.

Parameters

A	Family of a set (within the given global Variable Domain)

Precondition

The global Variable Domain is set to a set of variables that is equals to or a superset of the variables in A.

Returns

BDD that is true for the exact same assignments to variables in the global domain.

See also

domain_set domain_isset

bdd_from() [2/3]

__bdd adiar::bdd_from	(	const zdd &	A,
		const generator< bdd::label_type > &	dom
	)

Obtains the BDD that represents the same function/set as the given ZDD within the given domain.

Parameters

A	Family of a set (within the given domain)
dom	Generator function of domain variables in ascending order. These values may not exceed bdd::max_label.

Returns

BDD that is true for the exact same assignments to variables in the given domain.

bdd_from() [3/3]

template<typename ForwardIt >

__bdd adiar::bdd_from	(	const zdd &	A,
		ForwardIt	begin,
		ForwardIt	end
	)

Obtains the BDD that represents the same function/set as the given ZDD within the given domain.

Parameters

A	Family of a set (within the given domain)
begin	Single-pass forward iterator that provides the domain's variables in ascending order. These values may not exceed bdd::max_label.
end	Marks the end for begin.

Returns

BDD that is true for the exact same assignments to variables in the given domain.