BuDDy: fdd_overlapdomain

int fdd_overlapdomain	(	int	,
		int
	)

Combine two fdd blocks into one.

This function takes two FDD blocks and merges them into a new one, such that the new one is encoded using both sets of BDD variables. If v1 is encoded using the BDD variables $a_1, \ldots, a_n$ and has a domain of $[0,N_1]$ , and v2 is encoded using $b_1, \ldots, b_n$ and has a domain of $[0,N_2]$ , then the result will be encoded using the BDD variables $a_1, \ldots, a_n, b_1, \ldots, b_n$ and have the domain $[0,N_1*N_2]$ . The use of this function may result in strange output from fdd_printset.

Returns:: The index of the finite domain block.

See also:: fdd_extdomain