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

Represents the result of a symbolic lexicographic optimization computation. More...

#include "mlir/Analysis/Presburger/Simplex.h"

Public Member Functions

 SymbolicLexOpt (const PresburgerSpace &space)
 

Public Attributes

PWMAFunction lexopt
 This maps assignments of symbols to the corresponding lexopt. More...
 
PresburgerSet unboundedDomain
 Contains all assignments to the symbols that made the lexopt unbounded. More...
 

Detailed Description

Represents the result of a symbolic lexicographic optimization computation.

Definition at line 529 of file Simplex.h.

Constructor & Destructor Documentation

◆ SymbolicLexOpt()

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

Definition at line 530 of file Simplex.h.

Member Data Documentation

◆ lexopt

PWMAFunction mlir::presburger::SymbolicLexOpt::lexopt

This maps assignments of symbols to the corresponding lexopt.

Takes no value when no integer sample exists for the assignment or if the lexopt is unbounded.

Definition at line 537 of file Simplex.h.

Referenced by mlir::presburger::IntegerRelation::computeReprWithOnlyDivLocals(), mlir::presburger::IntegerRelation::findSymbolicIntegerLexMax(), mlir::presburger::IntegerRelation::findSymbolicIntegerLexMin(), and findSymbolicIntegerLexOpt().

◆ unboundedDomain

PresburgerSet mlir::presburger::SymbolicLexOpt::unboundedDomain

Contains all assignments to the symbols that made the lexopt unbounded.

Note that the symbols of the input set to the symbolic lexopt are dims of this PrebsurgerSet.

Definition at line 541 of file Simplex.h.

Referenced by mlir::presburger::IntegerRelation::computeReprWithOnlyDivLocals(), mlir::presburger::IntegerRelation::findSymbolicIntegerLexMax(), and findSymbolicIntegerLexOpt().


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