Bdd-line