From a state set to a BDD