Searched refs:domainSimplex (Results 1 – 2 of 2) sorted by relevance
415 domainSimplex.addDivisionVariable(divCoeffs, divDenom); in addSymbolicCut()481 if (domainSimplex.isSeparateInequality(getSymbolicSampleIneq(row))) { in maybeGetAlwaysViolatedRow()537 if (empty || domainSimplex.findIntegerLexMin().isEmpty()) { in computeSymbolicIntegerLexMin()558 if (domainSimplex.isRedundantInequality(symbolicSample)) in computeSymbolicIntegerLexMin()564 assert(!domainSimplex.isSeparateInequality(symbolicSample) && in computeSymbolicIntegerLexMin()570 unsigned domainSnapshot = domainSimplex.getSnapshot(); in computeSymbolicIntegerLexMin()578 domainSimplex.addInequality(symbolicSample); in computeSymbolicIntegerLexMin()623 domainSimplex.rollback(frame.domainSnapshot); in computeSymbolicIntegerLexMin()645 domainSimplex.addInequality(splitIneq); in computeSymbolicIntegerLexMin()
588 domainSimplex(symbolDomain) { in SymbolicLexSimplex()676 LexSimplex domainSimplex; variable