1nobase_include_HEADERS = \ 2 polybori/BlockDegLexOrder.h \ 3 polybori/BlockDegRevLexAscOrder.h \ 4 polybori/BooleConstant.h \ 5 polybori/BooleEnv.h \ 6 polybori/BooleExponent.h \ 7 polybori/BooleMonomial.h \ 8 polybori/BoolePolynomial.h \ 9 polybori/BoolePolyRing.h \ 10 polybori/BooleSet.h \ 11 polybori/BooleSetSequence.h \ 12 polybori/BooleVariable.h \ 13 polybori/cache/CacheManager.h \ 14 polybori/cache/CCacheManagement.h \ 15 polybori/cache/CDegreeCache.h \ 16 polybori/common/CCheckedIdx.h \ 17 polybori/common/CExtrusivePtr.h \ 18 polybori/common/CWeakPtr.h \ 19 polybori/common/CWeakPtrFacade.h \ 20 polybori/common/tags.h \ 21 polybori/common/traits.h \ 22 polybori/common/TransformedSequence.h \ 23 polybori/config.h \ 24 polybori/cudd/prefix.h \ 25 polybori/cudd/prefix_internal.h \ 26 polybori/DegLexOrder.h \ 27 polybori/DegRevLexAscOrder.h \ 28 polybori/diagram/CApplyNodeFacade.h \ 29 polybori/diagram/CCuddDDFacade.h \ 30 polybori/diagram/CDDOperations.h \ 31 polybori/diagram/CNodeCounter.h \ 32 polybori/except/CErrorInfo.h \ 33 polybori/except/PBoRiError.h \ 34 polybori/except/PBoRiGenericError.h \ 35 polybori/factories/CFactoryBase.h \ 36 polybori/factories/MonomialFactory.h \ 37 polybori/factories/PolynomialFactory.h \ 38 polybori/factories/SetFactory.h \ 39 polybori/factories/VariableBlock.h \ 40 polybori/factories/VariableFactory.h \ 41 polybori/iterators/CBidirectTermIter.h \ 42 polybori/iterators/CCuddFirstIter.h \ 43 polybori/iterators/CCuddLastIter.h \ 44 polybori/iterators/CCuddNavigator.h \ 45 polybori/iterators/CExpIter.h \ 46 polybori/iterators/CGenericIter.h \ 47 polybori/iterators/COrderedIter.h \ 48 polybori/iterators/CStackSelector.h \ 49 polybori/iterators/CTermGenerator.h \ 50 polybori/iterators/CTermIter.h \ 51 polybori/iterators/CTermStack.h \ 52 polybori/iterators/CVariableIter.h \ 53 polybori/iterators/PBoRiOutIter.h \ 54 polybori/iterators/TransformedIterator.h \ 55 polybori/LexOrder.h \ 56 polybori/literals/CLiteralCodes.h \ 57 polybori/literals/CStringLiteral.h \ 58 polybori/orderings/CBlockOrderingFacade.h \ 59 polybori/orderings/COrderingBase.h \ 60 polybori/orderings/COrderingFacade.h \ 61 polybori/orderings/COrderingTags.h \ 62 polybori/orderings/order_tags.h \ 63 polybori/orderings/order_traits.h \ 64 polybori/orderings/pbori_order.h \ 65 polybori/pbori_defs.h \ 66 polybori/polybori.h \ 67 polybori/ring/CCallbackWrapper.h \ 68 polybori/ring/CCuddCore.h \ 69 polybori/ring/CCuddInterface.h \ 70 polybori/ring/CMemberFunctionTraits.h \ 71 polybori/ring/CVariableNames.h \ 72 polybori/ring/WeakRingPtr.h \ 73 polybori/routines/pbori_algo.h \ 74 polybori/routines/pbori_algo_int.h \ 75 polybori/routines/pbori_algorithms.h \ 76 polybori/routines/pbori_func.h \ 77 polybori/routines/pbori_routines.h \ 78 polybori/routines/pbori_routines_cuddext.h \ 79 polybori/routines/pbori_routines_dd.h \ 80 polybori/routines/pbori_routines_hash.h \ 81 polybori/routines/pbori_routines_misc.h \ 82 polybori/routines/pbori_routines_order.h \ 83 polybori.h 84 85noinst_HEADERS = \ 86 polybori/cudd/cudd.h \ 87 polybori/cudd/cuddInt.h 88