- updated javadoc of Bdd