BuDDy: bdd_fprintset

void bdd_fprintset	(	FILE *	ofile,
		BDD	r
	)

Prints the set of truth assignments specified by a bdd to a file.

Prints all the truth assignments for r that would yield it true to ofile. The format is:

$\begin{eqnarray*} \langle x_{1,1}:c_{1,1},\ldots,x_{1,n_1}:c_{1,n_1} \rangle \\ \langle x_{2,1}:c_{2,1},\ldots,x_{2,n_2}:c_{2,n_2} \rangle \\ \vdots \\ \langle x_{N,1}:c_{N,1},\ldots,x_{N,n_3}:c_{N,n_3} \rangle \end{eqnarray*}$

Where the $x$ 's are variable numbers (and the position in the current order) and the $c$ 's are the possible assignments to these. Each set of brackets designates one possible assignment to the set of variables that make up the BDD. All variables not shown are don't cares. It is possible to specify a callback handler for printing of the variables using bdd_file_hook or bdd_strm_hook.

See also:: bdd_printset, bdd_printall, bdd_printtable, bdd_printdot, bdd_file_hook, bdd_strm_hook