17 #ifndef INDEPENDENCE_SPLITTER_GUARD
18 #define INDEPENDENCE_SPLITTER_GUARD
void getBigProjection(Projection &projection) const
size_t getVarCount() const
This class represents a slice, which is the central data structure of the Slice Algorithm.
Represents a monomial ideal with int exponents.
bool analyze(const Slice &slice)
size_t getTwoVarCount() const
size_t getOneVarCount() const
void getRestProjection(Projection &projection) const
size_t _moreThanTwoVarCount
size_t getMoreThanTwoCount() const
Term represents a product of variables which does not include a coefficient.