42 for (
size_t var =
first + 1; var <
slice.getVarCount(); ++var)
53 for (
size_t var =
first + 1; var <
slice.getVarCount(); ++var)
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
Cont::const_iterator const_iterator
void getRestProjection(Projection &projection) const
size_t getVarCount() const
void getBigProjection(Projection &projection) const
bool analyze(const Slice &slice)
size_t getSetCount() const
size_t getSetSize(size_t set) const
size_t getSizeOfClassOf(size_t i) const
bool join(size_t i, size_t j)
size_t getRoot(size_t i) const
This class represents a slice, which is the central data structure of the Slice Algorithm.
size_t getFirstNonZeroExponent() const