diff options
author | Mathias Soeken <mathias.soeken@gmail.com> | 2016-12-07 10:08:44 +0100 |
---|---|---|
committer | Mathias Soeken <mathias.soeken@gmail.com> | 2016-12-07 10:08:44 +0100 |
commit | 5af44731bff0061c724912cf76e86dddbb4f2c7a (patch) | |
tree | 77ddddb7a79d6424210a7a6b8e8f9649d845d9ba /src/opt/sbd/sbdInt.h | |
parent | f9b7e929045f348ef6ccff9024de3be0c35c2eec (diff) | |
parent | 77ef610919b09ed0f8cb0df50e48a7f9c4b9c553 (diff) | |
download | abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.tar.gz abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.tar.bz2 abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.zip |
Merged alanmi/abc into default
Diffstat (limited to 'src/opt/sbd/sbdInt.h')
-rw-r--r-- | src/opt/sbd/sbdInt.h | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/src/opt/sbd/sbdInt.h b/src/opt/sbd/sbdInt.h new file mode 100644 index 00000000..4c553fb4 --- /dev/null +++ b/src/opt/sbd/sbdInt.h @@ -0,0 +1,78 @@ +/**CFile**************************************************************** + + FileName [rsbInt.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [SAT-based optimization using internal don't-cares.] + + Synopsis [Internal declarations.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: rsbInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#ifndef ABC__opt_sbdInt__h +#define ABC__opt_sbdInt__h + + +//////////////////////////////////////////////////////////////////////// +/// INCLUDES /// +//////////////////////////////////////////////////////////////////////// + +#include <stdio.h> +#include <stdlib.h> +#include <string.h> +#include <assert.h> + +#include "misc/vec/vec.h" +#include "sat/bsat/satSolver.h" +#include "misc/util/utilNam.h" +#include "misc/util/utilTruth.h" +#include "map/scl/sclLib.h" +#include "map/scl/sclCon.h" +#include "bool/kit/kit.h" +#include "misc/st/st.h" +#include "map/mio/mio.h" +#include "base/abc/abc.h" +#include "sbd.h" + +//////////////////////////////////////////////////////////////////////// +/// PARAMETERS /// +//////////////////////////////////////////////////////////////////////// + +ABC_NAMESPACE_HEADER_START + +#define SBD_SAT_UNDEC 0x1234567812345678 +#define SBD_SAT_SAT 0x8765432187654321 + +//////////////////////////////////////////////////////////////////////// +/// BASIC TYPES /// +//////////////////////////////////////////////////////////////////////// + + +//////////////////////////////////////////////////////////////////////// +/// MACRO DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +/*=== sbdCnf.c ==========================================================*/ + +ABC_NAMESPACE_HEADER_END + +#endif + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + |