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