cudd  3.0.0
The University of Colorado Decision Diagram Package
Public Member Functions
Task Class Reference

Taks performed by each thread. More...

Public Member Functions

 Task (int n, std::ostringstream &os)
 
void operator() (void)
 

Detailed Description

Taks performed by each thread.

Constructor & Destructor Documentation

◆ Task()

Task::Task ( int  n,
std::ostringstream &  os 
)
inline

Constructor.

Member Function Documentation

◆ operator()()

void Task::operator() ( void  )
inline

Builds the hidden weight bit function and reorders the variables.


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