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.
| DDType& dd_add_assign< DDType >::operator() | ( | DDType & | lhs, | |
| const DDType & | rhs | |||
| ) | const [inline] |
1.6.3