PolyBoRi
|
Defines addition operation with assignment for decision diagrams. More...
#include <pbori_func.h>
Public Member Functions | |
DDType & | operator() (DDType &lhs, const DDType &rhs) const |
Defines addition operation with assignment for decision diagrams.
|
inline |