cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Structures | Functions
testmulti.cc File Reference

Test program for multiple managers (one per thread). More...

#include "config.h"
#include "cuddObj.hh"
#include <cstdlib>
#include <iostream>
#include <sstream>
#include <thread>
Include dependency graph for testmulti.cc:

Data Structures

class  Task
 Taks performed by each thread. More...
 
class  joinThreads
 Class to join threads in RAII fashion. More...
 

Functions

int main (int argc, char **argv)
 Main program for testmulti.
 

Detailed Description

Test program for multiple managers (one per thread).

This program tests the ability to run different CUDD managers in different threads. Each thread builds the hidden weight bit function for a certain number of variables and then reorders the variables.

Author
Fabio Somenzi