MLIR  16.0.0git
Public Member Functions | Public Attributes | List of all members
mlir::presburger::SymbolicLexMin Struct Reference

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.

Definition at line 533 of file Simplex.h.

Constructor & Destructor Documentation

◆ SymbolicLexMin()

mlir::presburger::SymbolicLexMin::SymbolicLexMin ( const PresburgerSpace space)
inline

Definition at line 534 of file Simplex.h.

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: