MLIR  17.0.0git
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.

## ◆ SymbolicLexMin()

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

Definition at line 534 of file Simplex.h.

## ◆ 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.

## ◆ 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.

The documentation for this struct was generated from the following file: