MLIR
16.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(), mlir::presburger::IntegerRelation::findSymbolicIntegerLexMin(), and isRangeDivisibleBy().
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(), and isRangeDivisibleBy().