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