cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Taks performed by each thread. More...
Public Member Functions | |
Task (int n, std::ostringstream &os) | |
void | operator() (void) |
Taks performed by each thread.
|
inline |
Constructor.
|
inline |
Builds the hidden weight bit function and reorders the variables.