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 533 of file Simplex.h.

Constructor & Destructor Documentation

SymbolicLexOpt()

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

inline

Definition at line 534 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 541 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 545 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:

• include/mlir/Analysis/Presburger/Simplex.h