PolyBoRi
Public Member Functions | Public Attributes | List of all members
polybori::groebner::PairManagerFacade< StrategyType > Class Template Reference

This class defines a facade for a given Strategy, which. More...

#include <PairManagerFacade.h>

Public Member Functions

 PairManagerFacade (const BoolePolyRing &ring)
 
 PairManagerFacade (const self &rhs)
 
void cleanTopByChainCriterion ()
 
void introducePair (const Pair &pair)
 

Public Attributes

PairManagerWithStrategy
< strategy_type > 
pairs
 For compatibility reasons make this a public member. More...
 

Detailed Description

template<class StrategyType>
class polybori::groebner::PairManagerFacade< StrategyType >

This class defines a facade for a given Strategy, which.

Note
Use it as an inheritance base for - say - NewStrategy like:

class NewStrategy: public PairManagerFacade<NewStrategy> { definition of strategy };

Constructor & Destructor Documentation

template<class StrategyType>
polybori::groebner::PairManagerFacade< StrategyType >::PairManagerFacade ( const BoolePolyRing ring)
inline
template<class StrategyType>
polybori::groebner::PairManagerFacade< StrategyType >::PairManagerFacade ( const self rhs)
inline

Member Function Documentation

template<class StrategyType>
void polybori::groebner::PairManagerFacade< StrategyType >::cleanTopByChainCriterion ( )
inline
template<class StrategyType>
void polybori::groebner::PairManagerFacade< StrategyType >::introducePair ( const Pair pair)
inline

Member Data Documentation

template<class StrategyType>
PairManagerWithStrategy<strategy_type> polybori::groebner::PairManagerFacade< StrategyType >::pairs

For compatibility reasons make this a public member.


The documentation for this class was generated from the following file: