Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
abc_namespaces.h 2.15 KB
Newer Older
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 
/**CFile****************************************************************

  FileName    [abc_namespaces.h]

  SystemName  [ABC: Logic synthesis and verification system.]

  PackageName [Namespace logic.]

  Synopsis    []

  Author      [Alan Mishchenko]

  Affiliation [UC Berkeley]

  Date        [Ver. 1.0. Started - Nov 20, 2015.]

  Revision    []

***********************************************************************/

#ifndef ABC__misc__util__abc_namespaces_h
#define ABC__misc__util__abc_namespaces_h


////////////////////////////////////////////////////////////////////////
///                         NAMESPACES                               ///
////////////////////////////////////////////////////////////////////////

#ifdef __cplusplus
#  ifdef ABC_NAMESPACE
#    define ABC_NAMESPACE_HEADER_START namespace ABC_NAMESPACE {
#    define ABC_NAMESPACE_HEADER_END }
C++ comaptibility: add namespace support to Glucose
7bcfe643
 
Baruch Sterin committed
33 34 
#    define ABC_NAMESPACE_CXX_HEADER_START ABC_NAMESPACE_HEADER_START
#    define ABC_NAMESPACE_CXX_HEADER_END ABC_NAMESPACE_HEADER_END
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
35 36 37 
#    define ABC_NAMESPACE_IMPL_START namespace ABC_NAMESPACE {
#    define ABC_NAMESPACE_IMPL_END }
#    define ABC_NAMESPACE_PREFIX ABC_NAMESPACE::
add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaration when needed
63fcf25a
 
Baruch Sterin committed
38 
#    define ABC_NAMESPACE_USING_NAMESPACE using namespace ABC_NAMESPACE;
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
39 40 41 
#  else
#    define ABC_NAMESPACE_HEADER_START extern "C" {
#    define ABC_NAMESPACE_HEADER_END }
C++ comaptibility: add namespace support to Glucose
7bcfe643
 
Baruch Sterin committed
42 43 
#    define ABC_NAMESPACE_CXX_HEADER_START
#    define ABC_NAMESPACE_CXX_HEADER_END
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
44 45 46 
#    define ABC_NAMESPACE_IMPL_START
#    define ABC_NAMESPACE_IMPL_END
#    define ABC_NAMESPACE_PREFIX
add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaration when needed
63fcf25a
 
Baruch Sterin committed
47 
#    define ABC_NAMESPACE_USING_NAMESPACE
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
48 49 50 51 
#  endif // #ifdef ABC_NAMESPACE
#else
#  define ABC_NAMESPACE_HEADER_START
#  define ABC_NAMESPACE_HEADER_END
C++ comaptibility: add namespace support to Glucose
7bcfe643
 
Baruch Sterin committed
52 53 
#  define ABC_NAMESPACE_CXX_HEADER_START
#  define ABC_NAMESPACE_CXX_HEADER_END
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
54 55 56 
#  define ABC_NAMESPACE_IMPL_START
#  define ABC_NAMESPACE_IMPL_END
#  define ABC_NAMESPACE_PREFIX
add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaration when needed
63fcf25a
 
Baruch Sterin committed
57 
#  define ABC_NAMESPACE_USING_NAMESPACE
move namespace logic into a separate file. It is useful for users of ABC that…
11581ca9
 
Baruch Sterin committed
58 59 60 61 62 63 64 
#endif // #ifdef __cplusplus

#endif // #ifndef ABC__misc__util__abc_namespaces_h

////////////////////////////////////////////////////////////////////////
///                       END OF FILE                                ///
////////////////////////////////////////////////////////////////////////