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