-
Alexandre Duret-Lutz authored
* configure.ac: Enable C++11 mode. * src/bdd.h: Use noexport, and add a move constructor and move assignment operator. The move version of these method do not have to increment the reference counter, saving time. On a small test run, this change saved 24% of the calls to bdd_addref_nc().
bd6d88db
To find the state of this project's repository at the time of any of these versions, check out the tags.