MLIR
17.0.0git
|
Represents the result of a symbolic lexicographic minimization computation. More...
#include "mlir/Analysis/Presburger/Simplex.h"
Public Member Functions | |
SymbolicLexMin (const PresburgerSpace &space) | |
Public Attributes | |
PWMAFunction | lexmin |
This maps assignments of symbols to the corresponding lexmin. More... | |
PresburgerSet | unboundedDomain |
Contains all assignments to the symbols that made the lexmin unbounded. More... | |
Represents the result of a symbolic lexicographic minimization computation.
|
inline |
PWMAFunction mlir::presburger::SymbolicLexMin::lexmin |
This maps assignments of symbols to the corresponding lexmin.
Takes no value when no integer sample exists for the assignment or if the lexmin is unbounded.
Definition at line 541 of file Simplex.h.
Referenced by mlir::presburger::IntegerRelation::computeReprWithOnlyDivLocals(), and mlir::presburger::IntegerRelation::findSymbolicIntegerLexMin().
PresburgerSet mlir::presburger::SymbolicLexMin::unboundedDomain |
Contains all assignments to the symbols that made the lexmin unbounded.
Note that the symbols of the input set to the symbolic lexmin are dims of this PrebsurgerSet.
Definition at line 545 of file Simplex.h.
Referenced by mlir::presburger::IntegerRelation::computeReprWithOnlyDivLocals().