cudd  3.0.0
The University of Colorado Decision Diagram Package
Functions
testobj.cc File Reference

Test program for the C++ object-oriented encapsulation of CUDD. More...

#include "cuddObj.hh"
#include <math.h>
#include <iostream>
#include <sstream>
#include <cassert>
#include <stdexcept>
Include dependency graph for testobj.cc:

Functions

static void testBdd (Cudd &mgr, int verbosity)
 Test basic operators on BDDs. More...
 
static void testAdd (Cudd &mgr, int verbosity)
 Test basic operators on ADDs. More...
 
static void testAdd2 (Cudd &mgr, int verbosity)
 Test some more operators on ADDs. More...
 
static void testZdd (Cudd &mgr, int verbosity)
 Test basic operators on ZDDs. More...
 
static void testBdd2 (Cudd &mgr, int verbosity)
 Test vector operators on BDDs. More...
 
static void testBdd3 (Cudd &mgr, int verbosity)
 Test additional operators on BDDs. More...
 
static void testZdd2 (Cudd &mgr, int verbosity)
 Test cover manipulation with BDDs and ZDDs. More...
 
static void testBdd4 (Cudd &mgr, int verbosity)
 Test transfer between BDD managers. More...
 
static void testBdd5 (Cudd &mgr, int verbosity)
 Test maximal expansion of cubes. More...
 
static void testInterpolation (Cudd &mgr, int verbosity)
 Test BDD interpolation.
 
static void testErrorHandling (Cudd &mgr, int verbosity)
 Basic test of error handling. More...
 
int main (int argc, char **argv)
 Main program for testobj.
 

Detailed Description

Test program for the C++ object-oriented encapsulation of CUDD.

Author
Fabio Somenzi

Function Documentation

◆ testAdd()

static void testAdd ( Cudd mgr,
int  verbosity 
)
static

Test basic operators on ADDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create ADD variables in the manager.
See also
testAdd2

◆ testAdd2()

static void testAdd2 ( Cudd mgr,
int  verbosity 
)
static

Test some more operators on ADDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create ADD variables in the manager.
See also
testAdd

◆ testBdd()

static void testBdd ( Cudd mgr,
int  verbosity 
)
static

Test basic operators on BDDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
Creates BDD variables in the manager.
See also
testBdd2 testBdd3 testBdd4 testBdd5

◆ testBdd2()

static void testBdd2 ( Cudd mgr,
int  verbosity 
)
static

Test vector operators on BDDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create BDD variables in the manager.
See also
testBdd testBdd3 testBdd4 testBdd5

◆ testBdd3()

static void testBdd3 ( Cudd mgr,
int  verbosity 
)
static

Test additional operators on BDDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create BDD variables in the manager.
See also
testBdd testBdd2 testBdd4 testBdd5

◆ testBdd4()

static void testBdd4 ( Cudd mgr,
int  verbosity 
)
static

Test transfer between BDD managers.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create BDD variables in the manager.
See also
testBdd testBdd2 testBdd3 testBdd5

◆ testBdd5()

static void testBdd5 ( Cudd mgr,
int  verbosity 
)
static

Test maximal expansion of cubes.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create BDD variables in the manager.
See also
testBdd testBdd2 testBdd3 testBdd4

◆ testErrorHandling()

static void testErrorHandling ( Cudd mgr,
int  verbosity 
)
static

Basic test of error handling.

This function also illustrates the use of the overloading of the stream insertion operator (operator<<) for BDDs.

◆ testZdd()

static void testZdd ( Cudd mgr,
int  verbosity 
)
static

Test basic operators on ZDDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination.

Side effects
May create ZDD variables in the manager.
See also
testZdd2

◆ testZdd2()

static void testZdd2 ( Cudd mgr,
int  verbosity 
)
static

Test cover manipulation with BDDs and ZDDs.

The function returns void because it relies on the error handling done by the interface. The default error handler causes program termination. This function builds the BDDs for a transformed adder: one in which the inputs are transformations of the original inputs. It then creates ZDDs for the covers from the BDDs.

Side effects
May create BDD and ZDD variables in the manager.
See also
testZdd