17#ifndef INDEPENDENCE_SPLITTER_GUARD
18#define INDEPENDENCE_SPLITTER_GUARD
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
Represents a monomial ideal with int exponents.
void getRestProjection(Projection &projection) const
size_t getVarCount() const
size_t getOneVarCount() const
size_t getTwoVarCount() const
void getBigProjection(Projection &projection) const
size_t getMoreThanTwoCount() const
bool analyze(const Slice &slice)
size_t _moreThanTwoVarCount
This class represents a slice, which is the central data structure of the Slice Algorithm.
Term represents a product of variables which does not include a coefficient.