diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-02 18:50:03 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-02 18:50:03 -0800 |
| commit | e3f2dde1c4eeaa8c891ecb7a1f07dab324ce1da3 (patch) | |
| tree | a293c8ca5981e69f09400b05d50957b844355a9d /src/bdd/mtr/mtrInt.h | |
| parent | e881eaf693ff648d78c7b6ca52fc156f0993143e (diff) | |
| download | abc-e3f2dde1c4eeaa8c891ecb7a1f07dab324ce1da3.tar.gz abc-e3f2dde1c4eeaa8c891ecb7a1f07dab324ce1da3.tar.bz2 abc-e3f2dde1c4eeaa8c891ecb7a1f07dab324ce1da3.zip | |
Upgrading epd and mtr packages to be compatible with the latest release of CUDD 2.4.2
Diffstat (limited to 'src/bdd/mtr/mtrInt.h')
| -rw-r--r-- | src/bdd/mtr/mtrInt.h | 47 |
1 files changed, 34 insertions, 13 deletions
diff --git a/src/bdd/mtr/mtrInt.h b/src/bdd/mtr/mtrInt.h index 2a470411..9c8c6e26 100644 --- a/src/bdd/mtr/mtrInt.h +++ b/src/bdd/mtr/mtrInt.h @@ -12,28 +12,52 @@ Author [Fabio Somenzi] - Copyright [This file was created at the University of Colorado at - Boulder. The University of Colorado at Boulder makes no warranty - about the suitability of this software for any purpose. It is - presented on an AS IS basis.] + Copyright [Copyright (c) 1995-2004, Regents of the University of Colorado - Revision [$Id: mtrInt.h,v 1.1.1.1 2003/02/24 22:24:02 wjiang Exp $] + 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.] + + Revision [$Id: mtrInt.h,v 1.2 2004/08/13 18:15:12 fabio Exp $] ******************************************************************************/ #ifndef _MTRINT #define _MTRINT - #include "mtr.h" -ABC_NAMESPACE_HEADER_START - - /*---------------------------------------------------------------------------*/ /* Nested includes */ /*---------------------------------------------------------------------------*/ +ABC_NAMESPACE_HEADER_START /*---------------------------------------------------------------------------*/ /* Constant declarations */ @@ -63,11 +87,8 @@ ABC_NAMESPACE_HEADER_START /* Function prototypes */ /*---------------------------------------------------------------------------*/ +ABC_NAMESPACE_HEADER_END /**AutomaticEnd***************************************************************/ - - -ABC_NAMESPACE_HEADER_END - #endif /* _MTRINT */ |