Temporary header file '/tmp/1spET4dW5g/dump1.h' with the following content will be compiled to create GCC translation unit dump: // add defines #define __STDC_VERSION__ 201710L #define _TIME_BITS 64 #define _FILE_OFFSET_BITS 64 #define _GXX_NULLPTR_T #define CLUTTER_ENABLE_COMPOSITOR_API 1 #define _REGEX_NELTS(n) #define _Atomic #define PACKED #define getaddrinfo_a(a,b,c,d) // add includes #include "/usr/include/polybori/BlockDegLexOrder.h" #include "/usr/include/polybori/BlockDegRevLexAscOrder.h" #include "/usr/include/polybori/BooleConstant.h" #include "/usr/include/polybori/BooleEnv.h" #include "/usr/include/polybori/BooleExponent.h" #include "/usr/include/polybori/BooleMonomial.h" #include "/usr/include/polybori/BoolePolyRing.h" #include "/usr/include/polybori/BoolePolynomial.h" #include "/usr/include/polybori/BooleSet.h" #include "/usr/include/polybori/BooleSetSequence.h" #include "/usr/include/polybori/BooleVariable.h" #include "/usr/include/polybori/DegLexOrder.h" #include "/usr/include/polybori/DegRevLexAscOrder.h" #include "/usr/include/polybori/LexOrder.h" #include "/usr/include/polybori/cache/CCacheManagement.h" #include "/usr/include/polybori/cache/CDegreeCache.h" #include "/usr/include/polybori/cache/CacheManager.h" #include "/usr/include/polybori/common/CCheckedIdx.h" #include "/usr/include/polybori/common/CExtrusivePtr.h" #include "/usr/include/polybori/common/CWeakPtr.h" #include "/usr/include/polybori/common/CWeakPtrFacade.h" #include "/usr/include/polybori/common/TransformedSequence.h" #include "/usr/include/polybori/common/tags.h" #include "/usr/include/polybori/common/traits.h" #include "/usr/include/polybori/config.h" #include "/usr/include/polybori/cudd/cudd.h" #include "/usr/include/polybori/cudd/cuddInt.h" #include "/usr/include/polybori/cudd/prefix.h" #include "/usr/include/polybori/cudd/prefix_internal.h" #include "/usr/include/polybori/diagram/CApplyNodeFacade.h" #include "/usr/include/polybori/diagram/CCuddDDFacade.h" #include "/usr/include/polybori/diagram/CDDOperations.h" #include "/usr/include/polybori/diagram/CNodeCounter.h" #include "/usr/include/polybori/except/CErrorInfo.h" #include "/usr/include/polybori/except/PBoRiError.h" #include "/usr/include/polybori/except/PBoRiGenericError.h" #include "/usr/include/polybori/factories/CFactoryBase.h" #include "/usr/include/polybori/factories/MonomialFactory.h" #include "/usr/include/polybori/factories/PolynomialFactory.h" #include "/usr/include/polybori/factories/SetFactory.h" #include "/usr/include/polybori/factories/VariableBlock.h" #include "/usr/include/polybori/factories/VariableFactory.h" #include "/usr/include/polybori/iterators/CBidirectTermIter.h" #include "/usr/include/polybori/iterators/CCuddFirstIter.h" #include "/usr/include/polybori/iterators/CCuddLastIter.h" #include "/usr/include/polybori/iterators/CCuddNavigator.h" #include "/usr/include/polybori/iterators/CExpIter.h" #include "/usr/include/polybori/iterators/CGenericIter.h" #include "/usr/include/polybori/iterators/COrderedIter.h" #include "/usr/include/polybori/iterators/CStackSelector.h" #include "/usr/include/polybori/iterators/CTermGenerator.h" #include "/usr/include/polybori/iterators/CTermIter.h" #include "/usr/include/polybori/iterators/CTermStack.h" #include "/usr/include/polybori/iterators/CVariableIter.h" #include "/usr/include/polybori/iterators/PBoRiOutIter.h" #include "/usr/include/polybori/iterators/TransformedIterator.h" #include "/usr/include/polybori/literals/CLiteralCodes.h" #include "/usr/include/polybori/literals/CStringLiteral.h" #include "/usr/include/polybori/orderings/CBlockOrderingFacade.h" #include "/usr/include/polybori/orderings/COrderingBase.h" #include "/usr/include/polybori/orderings/COrderingFacade.h" #include "/usr/include/polybori/orderings/COrderingTags.h" #include "/usr/include/polybori/orderings/order_tags.h" #include "/usr/include/polybori/orderings/order_traits.h" #include "/usr/include/polybori/orderings/pbori_order.h" #include "/usr/include/polybori/pbori_defs.h" #include "/usr/include/polybori/polybori.h" #include "/usr/include/polybori/ring/CCallbackWrapper.h" #include "/usr/include/polybori/ring/CCuddCore.h" #include "/usr/include/polybori/ring/CCuddInterface.h" #include "/usr/include/polybori/ring/CMemberFunctionTraits.h" #include "/usr/include/polybori/ring/CVariableNames.h" #include "/usr/include/polybori/ring/WeakRingPtr.h" #include "/usr/include/polybori/routines/pbori_algo.h" #include "/usr/include/polybori/routines/pbori_algo_int.h" #include "/usr/include/polybori/routines/pbori_algorithms.h" #include "/usr/include/polybori/routines/pbori_func.h" #include "/usr/include/polybori/routines/pbori_routines.h" #include "/usr/include/polybori/routines/pbori_routines_cuddext.h" #include "/usr/include/polybori/routines/pbori_routines_dd.h" #include "/usr/include/polybori/routines/pbori_routines_hash.h" #include "/usr/include/polybori/routines/pbori_routines_misc.h" #include "/usr/include/polybori/routines/pbori_routines_order.h" #include "/usr/include/polybori.h" // add namespaces namespace boost{typedef int tmp_add_type_1;} boost::tmp_add_type_1 tmp_add_func_1(){return 0;}; namespace boost{namespace detail{typedef int tmp_add_type_2;}} boost::detail::tmp_add_type_2 tmp_add_func_2(){return 0;}; namespace boost{namespace integer{typedef int tmp_add_type_3;}} boost::integer::tmp_add_type_3 tmp_add_func_3(){return 0;}; namespace boost{namespace iterators{typedef int tmp_add_type_4;}} boost::iterators::tmp_add_type_4 tmp_add_func_4(){return 0;}; namespace boost{namespace iterators{namespace detail{typedef int tmp_add_type_5;}}} boost::iterators::detail::tmp_add_type_5 tmp_add_func_5(){return 0;}; namespace boost{namespace mpl{typedef int tmp_add_type_6;}} boost::mpl::tmp_add_type_6 tmp_add_func_6(){return 0;}; namespace boost{namespace mpl{namespace aux{typedef int tmp_add_type_7;}}} boost::mpl::aux::tmp_add_type_7 tmp_add_func_7(){return 0;}; namespace boost{namespace mpl{namespace placeholders{typedef int tmp_add_type_8;}}} boost::mpl::placeholders::tmp_add_type_8 tmp_add_func_8(){return 0;}; namespace polybori{typedef int tmp_add_type_9;} polybori::tmp_add_type_9 tmp_add_func_9(){return 0;}; namespace boost{namespace detail{namespace indirect_traits{typedef int tmp_add_type_10;}}} boost::detail::indirect_traits::tmp_add_type_10 tmp_add_func_10(){return 0;}; namespace boost{namespace detail{namespace is_incrementable_{typedef int tmp_add_type_11;}}} boost::detail::is_incrementable_::tmp_add_type_11 tmp_add_func_11(){return 0;}; namespace boost{namespace detail{namespace static_log2_impl{typedef int tmp_add_type_12;}}} boost::detail::static_log2_impl::tmp_add_type_12 tmp_add_func_12(){return 0;}; namespace boost{namespace hash_detail{typedef int tmp_add_type_13;}} boost::hash_detail::tmp_add_type_13 tmp_add_func_13(){return 0;}; namespace boost{namespace type_traits{typedef int tmp_add_type_14;}} boost::type_traits::tmp_add_type_14 tmp_add_func_14(){return 0;}; namespace boost{namespace type_traits_detail{typedef int tmp_add_type_15;}} boost::type_traits_detail::tmp_add_type_15 tmp_add_func_15(){return 0;}; namespace mpl_{typedef int tmp_add_type_16;} mpl_::tmp_add_type_16 tmp_add_func_16(){return 0;}; namespace mpl_{namespace aux{typedef int tmp_add_type_17;}} mpl_::aux::tmp_add_type_17 tmp_add_func_17(){return 0;}; // add classes DdCache* tmp_add_class_0; DdChildren* tmp_add_class_1; DdGen* tmp_add_class_2; DdHashItem* tmp_add_class_3; DdHashTable* tmp_add_class_4; DdHook* tmp_add_class_5; DdLevelQueue* tmp_add_class_6; DdLocalCache* tmp_add_class_7; DdLocalCacheItem* tmp_add_class_8; DdNode* tmp_add_class_9; DdQueueItem* tmp_add_class_10; DdSubtable* tmp_add_class_11; Move* tmp_add_class_12; _G_fpos64_t* tmp_add_class_13; _G_fpos_t* tmp_add_class_14; _IO_cookie_io_functions_t* tmp_add_class_15; pbori_DdManager* tmp_add_class_16; The GCC parameters: gcc -fdump-lang-raw -fkeep-inline-functions -c -x c++ -fpermissive -w "/tmp/1spET4dW5g/dump1.h"