Searched refs:symbolicSample (Results 1 – 1 of 1) sorted by relevance
549 SmallVector<int64_t, 8> symbolicSample; in computeSymbolicIntegerLexMin() local557 symbolicSample = getSymbolicSampleIneq(splitRow); in computeSymbolicIntegerLexMin()558 if (domainSimplex.isRedundantInequality(symbolicSample)) in computeSymbolicIntegerLexMin()564 assert(!domainSimplex.isSeparateInequality(symbolicSample) && in computeSymbolicIntegerLexMin()578 domainSimplex.addInequality(symbolicSample); in computeSymbolicIntegerLexMin()579 domainPoly.addInequality(symbolicSample); in computeSymbolicIntegerLexMin()