MLIR  16.0.0git
mlir::presburger::MaybeLocalRepr Struct Reference

MaybeLocalRepr contains the indices of the constraints that can be expressed as a floordiv of an affine function. More...

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

Collaboration diagram for mlir::presburger::MaybeLocalRepr:

## Public Member Functions

operator bool () const

## Public Attributes

ReprKind kind = ReprKind::None

union {
unsigned   equalityIdx

struct {
unsigned   lowerBoundIdx

unsigned   upperBoundIdx

}   inequalityPair

repr

## Detailed Description

MaybeLocalRepr contains the indices of the constraints that can be expressed as a floordiv of an affine function.

If it's an equality constraint, equalityIdx is set, in case of inequality the lowerBoundIdx and upperBoundIdx is set. By default the kind attribute is set to None.

Definition at line 97 of file Utils.h.

## ◆ operator bool()

 mlir::presburger::MaybeLocalRepr::operator bool ( ) const
inlineexplicit

Definition at line 99 of file Utils.h.

References mlir::presburger::None.

## ◆ equalityIdx

 unsigned mlir::presburger::MaybeLocalRepr::equalityIdx

Definition at line 101 of file Utils.h.

## ◆ inequalityPair

 struct { ... } mlir::presburger::MaybeLocalRepr::inequalityPair

## ◆ kind

 ReprKind mlir::presburger::MaybeLocalRepr::kind = ReprKind::None

Definition at line 98 of file Utils.h.

Referenced by mlir::presburger::computeSingleVarRepr().

## ◆ lowerBoundIdx

 unsigned mlir::presburger::MaybeLocalRepr::lowerBoundIdx

Definition at line 103 of file Utils.h.

## ◆ repr

 union { ... } mlir::presburger::MaybeLocalRepr::repr

## ◆ upperBoundIdx

 unsigned mlir::presburger::MaybeLocalRepr::upperBoundIdx

Definition at line 103 of file Utils.h.

The documentation for this struct was generated from the following file:
• include/mlir/Analysis/Presburger/Utils.h