Lines Matching defs:gen
96 size_t gen = 0; in removeGeneratorsWithLeadingZero() local
98 if (getGenerator(gen)[0] == 0) { in removeGeneratorsWithLeadingZero() local
107 size_t gen = 0; in removeGeneratorsWithoutLeadingZero() local
109 if (getGenerator(gen)[0] != 0) { in removeGeneratorsWithoutLeadingZero() local
121 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) { in getInitialIdeal() local
124 if (getGenerator(gen)[var] > 0) in getInitialIdeal() local
141 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) in hasZeroEntry() local
143 if (getGenerator(gen)[var] == 0) in hasZeroEntry() local
227 bool hasCycle(size_t gen, vector<char>& color, const SatBinomIdeal& ideal) { in hasCycle()
255 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) in validate() local
338 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) { in isDominating() local
354 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) in isGenerator() local
363 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) in projectVar() local
370 for (size_t gen = 0; gen < getGeneratorCount(); ++gen) in getMatrix() local