PolyBoRi
File List
Here is a list of all files with brief descriptions:
 .h
 add_up.h
 BitMask.h
 BlockDegLexOrder.cc
 BlockDegLexOrder.h
 BlockDegRevLexAscOrder.cc
 BlockDegRevLexAscOrder.h
 BlockOrderHelper.h
 BooleConstant.h
 BooleEnv.cc
 BooleEnv.h
 BooleExponent.cc
 BooleExponent.h
 BooleMonomial.cc
 BooleMonomial.h
 BoolePolynomial.cc
 BoolePolynomial.h
 BoolePolyRing.cc
 BoolePolyRing.h
 BooleSet.cc
 BooleSet.h
 BooleSetSequence.h
 BooleVariable.cc
 BooleVariable.h
 BoundedDivisorsOf.h
 cache_manager.h
 CacheManager.h
 CApplyNodeFacade.h
 CBidirectTermIter.h
 CBlockOrderingFacade.h
 CCacheManagement.h
 CCallbackWrapper.h
 CCheckedIdx.cc
 CCheckedIdx.h
 CCuddCore.h
 CCuddDDFacade.h
 CCuddFirstIter.cc
 CCuddFirstIter.h
 CCuddInterface.h
 CCuddLastIter.cc
 CCuddLastIter.h
 CCuddNavigator.h
 CDDOperations.h
 CDegreeCache.h
 CErrorInfo.cc
 CErrorInfo.h
 CExpIter.h
 CExtrusivePtr.h
 CFactoryBase.h
 CGenericIter.h
 ChainCriterion.h
 ChainVariableCriterion.h
 CheckChainCriterion.h
 CLiteralCodes.h
 CMemberFunctionTraits.h
 CNodeCounter.h
 contained_variables.h
 COrderedIter.h
 COrderingBase.h
 COrderingFacade.h
 COrderingTags.h
 CountCriterion.h
 CStackSelector.h
 CStringLiteral.h
 CTermGenerator.h
 CTermIter.h
 CTermStack.h
 cudd.h
 cuddInt.h
 CVariableIter.h
 CVariableNames.h
 CWeakPtr.h
 CWeakPtrFacade.h
 DegLexOrder.cc
 DegLexOrder.h
 DegOrderHelper.h
 DegRevLexAscOrder.cc
 DegRevLexAscOrder.h
 dlex4data.h
 dp_asc4data.h
 draw_matrix.h
 embed.h
 ExpGreater.h
 ExpLexLess.h
 FGLMStrategy.cc
 FGLMStrategy.h
 fixed_path_divisors.h
 GetNthPoly.h
 groebner.cc
 groebner.h
 groebner_alg.cc
 groebner_alg.h
 groebner_defs.h
 GroebnerOptions.h
 GroebnerStrategy.cc
 GroebnerStrategy.h
 HasTRepOrExtendedProductCriterion.h
 IJPairData.h
 interpolate.cc
 interpolate.h
 IsEcart0Predicate.h
 IsVariableOfIndex.h
 LargerDegreeComparer.h
 LeadingTerms.h
 LeadingTerms00.h
 LeadingTerms11.h
 LessCombinedManySizesInStrat.h
 LessEcartThenLessWeightedLengthInStrat.h
 LessUsedTailVariablesThenLessWeightedLengthInStrat.h
 LessWeightedLengthInStrat.h
 LessWeightedLengthInStratModified.h
 LexBucket.cc
 LexBucket.h
 LexHelper.h
 LexOrder.cc
 LexOrder.h
 LexOrderGreaterComparer.h
 linear_algebra_step.h
 LiteralFactorization.cc
 LiteralFactorization.h
 LiteralFactorizationIterator.cc
 LiteralFactorizationIterator.h
 ll_red_nf.h
 LLReduction.h
 LLReductor.h
 LMLessCompare.h
 LMLessComparePS.h
 Long64From32BitsPair.h
 lp4data.h
 MatrixMonomialOrderTables.cc
 MatrixMonomialOrderTables.h
 minimal_elements.h
 MinimalLeadingTerms.h
 MonomialFactory.h
 MonomialHasher.h
 MonomialPlusOneTerms.h
 MonomialTerms.h
 NBitsUsed.h
 NextSpoly.h
 nf.cc
 nf.h
 order_tags.h
 order_traits.h
 PairData.h
 PairE.h
 PairECompare.h
 PairLS.h
 PairLSCompare.h
 PairManager.cc
 PairManager.h
 PairManagerFacade.h
 pairs.cc
 pairs.h
 PairStatusSet.h
 pbori_algo.h
 pbori_algo_int.h
 pbori_algorithms.h
 pbori_defs.h
 pbori_func.h
 pbori_order.h
 pbori_routines.cc
 pbori_routines.h
 pbori_routines_cuddext.h
 pbori_routines_dd.h
 pbori_routines_hash.h
 pbori_routines_misc.h
 pbori_routines_order.h
 PBoRiError.cc
 PBoRiError.h
 PBoRiGenericError.h
 PBoRiOutIter.h
 polybori/polybori.h
 polybori.h
 PolyEntry.cc
 PolyEntry.h
 PolyEntryBase.h
 PolyEntryIndices.h
 PolyEntryPtrLmLess.h
 PolyEntryReference.h
 PolyEntryVector.h
 PolyFromPolyEntry.h
 PolyMonomialPairComparerLess.h
 PolyMonomialPairComparerLexLess.h
 polynomial_properties.cc
 polynomial_properties.h
 PolynomialFactory.h
 PolynomialSugar.h
 PolyPairData.h
 prefix.h
 prefix_internal.h
 PSCompareByEl.h
 PseudoLongLong.h
 PseudoLongProduct.h
 randomset.cc
 randomset.h
 RankingVector.h
 red_tail.h
 RedTailNth.h
 ReductionOptions.h
 ReductionStrategy.cc
 ReductionStrategy.h
 ReductionTerms.h
 RelatedTerms.h
 RelatedTermsBase.h
 SetAssociatedMinimal.h
 SetBitUInt.h
 SetFactory.h
 ShorterEliminationLength.h
 ShorterEliminationLengthModified.h
 SlimgbReduction.h
 tables.h
 tags.h
 TermsFacade.h
 TimesConstantImplication.h
 TimesVariableSubstitution.h
 traits.h
 TransformedIterator.h
 TransformedSequence.h
 VariableBlock.h
 VariableFactory.h
 VariablePairData.h
 WeakRingPtr.h
 ZeroFunction.h