Represents the result of a symbolic lexicographic minimization computation. More...
#include "mlir/Analysis/Presburger/Simplex.h"
Collaboration diagram for mlir::presburger::SymbolicLexMin:
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... | |
Detailed Description
Represents the result of a symbolic lexicographic minimization computation.
Constructor & Destructor Documentation
◆ SymbolicLexMin()
|
inline |
Member Data Documentation
◆ lexmin
| 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().
◆ unboundedDomain
| 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().
The documentation for this struct was generated from the following file:
- include/mlir/Analysis/Presburger/Simplex.h
