set.h File Reference

Go to the source code of this file.

Functions
bdd	setUnion (bdd s1, bdd s2)
bdd	setIntersection (bdd s1, bdd s2)
bdd	setXOR (bdd s1, bdd s2)

---

Function Documentation

bdd setIntersection	(	bdd	s1,
		bdd	s2
	)

This funtions the set intersection between two sets. The returned set contains the elements that are shared in the original sets.

bdd setUnion	(	bdd	s1,
		bdd	s2
	)

Set Operations Module This module contains the operations on sets. It is used when we use the set model. The operations takes place on the bdd level. Every bdd in a set model, is a set and hence these functions operate on sets (bdds). This function is the set uinon between two sets. The returned set contains both the elements of the unioned sets.

bdd setXOR	(	bdd	s1,
		bdd	s2
	)

This function is the xor between two sets. The returned set contains all the elements in both the sets except the common ones.