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