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

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

#include <PairManagerFacade.h>

List of all members.

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.

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: