PolyBoRi
Public Member Functions
polybori::dd_add_assign Class Reference

Defines addition operation with assignment for decision diagrams. More...

#include <pbori_func.h>

List of all members.

Public Member Functions

DDType & operator() (DDType &lhs, const DDType &rhs) const

Detailed Description

Defines addition operation with assignment for decision diagrams.


Member Function Documentation

DDType& polybori::dd_add_assign::operator() ( DDType &  lhs,
const DDType &  rhs 
) const [inline]

The documentation for this class was generated from the following file: