BigattiPivotStrategy.h
Go to the documentation of this file.
/* Frobby: Software for monomial ideal computations.
Copyright (C) 2009 University of Aarhus
Contact Bjarke Hammersholt Roune for license information (www.broune.com)
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/.
*/
#ifndef BIGATTI_PIVOT_STRATEGY_GUARD
#define BIGATTI_PIVOT_STRATEGY_GUARD
class Term;
class BigattiState;
class BigattiPivotStrategy {
public:
virtual ~BigattiPivotStrategy();
virtual const Term& getPivot(BigattiState& state) = 0;
virtual const char* getName() const = 0;
static unique_ptr<BigattiPivotStrategy> createStrategy
(const string& prefix, bool widen);
protected:
BigattiPivotStrategy();
// To make these inaccessible. They are not implemented.
BigattiPivotStrategy(const BigattiPivotStrategy&);
BigattiPivotStrategy& operator=(const BigattiPivotStrategy&);
bool operator==(const BigattiPivotStrategy&);
};
#endif
operator==
bool operator==(const BigIntVector &a, const BigIntVector &b)
Definition BigIntVector.cpp:21
BigattiPivotStrategy
A BigattiPivotStrategy is an implementation of a pivot selection strategy for the Hilbert series algo...
Definition BigattiPivotStrategy.h:28
BigattiPivotStrategy::getName
virtual const char * getName() const =0
Returns the name of the strategy.
BigattiPivotStrategy::~BigattiPivotStrategy
virtual ~BigattiPivotStrategy()
Definition BigattiPivotStrategy.cpp:30
BigattiPivotStrategy::getPivot
virtual const Term & getPivot(BigattiState &state)=0
Returns the pivot of a pivot split of state.
BigattiState
Definition BigattiState.h:27
Term
Term represents a product of variables which does not include a coefficient.
Definition Term.h:49