PolyBoRi
|
Go to the source code of this file.
Classes | |
class | polybori::groebner::PairManagerWithStrategy< StrategyType > |
This class extends PairManager with a reference to a strategy. More... | |
class | polybori::groebner::PairManagerFacade< StrategyType > |
This class defines a facade for a given Strategy, which. More... | |
Namespaces | |
polybori | |
polybori::groebner | |
This file includes the definition of the class PairManagerFacade
which deals as a facade for strategy classes like GroebnerStrategy
.