BuDDy: fdd_ithvar

BDD fdd_ithvar	(	int	,
		int
	)

The bdd for the i'th fdd set to a specific value.

Returns the BDD that defines the value val for the finite domain block var. The encoding places the Least Significant Bit at the top of the BDD tree (which means they will have the lowest variable index). The returned BDD will be $V_0 \land V_1 \land \ldots \land V_N$ where each $V_i$ will be in positive or negative form depending on the value of val.

Returns:: The correct BDD or the constant false BDD on error.

See also:: fdd_ithset