BuDDy: bdd

int bdd_load	(	FILE *	ifile,
		BDD *	r
	)

Loads a bdd from a file.

Loads a BDD from a file into the BDD pointed to by r. The file ifile which must be opened for reading. The input file format consists of integers arranged in the following manner. First the number of nodes $N$ used by the BDD and then the number of variables $V$ allocated and the variable ordering in use at the time the BDD was saved. If $N$ and $V$ are both zero then the BDD is either the constant true or false BDD, indicated by a 1 or a 0 as the next integer. In any other case the next $N$ sets of 4 integers will describe the nodes used by the BDD. Each set consists of first the node number, then the variable number and then the low and high nodes. The nodes must be saved in a order such that any low or high node must be defined before it is mentioned.

See also:: bdd_fnload, bdd_save

Returns:: Zero on success, otherwise an error code from bdd.h.