cplusplus/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.
static void testAdd (Cudd &mgr, int verbosity)
 Test basic operators on ADDs.
static void testAdd2 (Cudd &mgr, int verbosity)
 Test some more operators on ADDs.
static void testZdd (Cudd &mgr, int verbosity)
 Test basic operators on ZDDs.
static void testBdd2 (Cudd &mgr, int verbosity)
 Test vector operators on BDDs.
static void testBdd3 (Cudd &mgr, int verbosity)
 Test additional operators on BDDs.
static void testZdd2 (Cudd &mgr, int verbosity)
 Test cover manipulation with BDDs and ZDDs.
static void testBdd4 (Cudd &mgr, int verbosity)
 Test transfer between BDD managers.
static void testBdd5 (Cudd &mgr, int verbosity)
 Test maximal expansion of cubes.
static void testInterpolation (Cudd &mgr, int verbosity)
 Test BDD interpolation.
static void testErrorHandling (Cudd &mgr, int verbosity)
 Basic test of error handling.
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

Copyright (c) 1995-2015, Regents of the University of Colorado

All rights reserved.

Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.

Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.

Neither the name of the University of Colorado nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


Function Documentation

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
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
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
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
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
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
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
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.

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
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
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1