Extended bdd interface