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"

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.

Member Function Documentation

operator bool()

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

inlineexplicit

Definition at line 99 of file Utils.h.

References kind, and mlir::presburger::None.

Member Data Documentation

equalityIdx

unsigned mlir::presburger::MaybeLocalRepr::equalityIdx

Definition at line 101 of file Utils.h.

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

[struct]

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

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

kind

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

Definition at line 98 of file Utils.h.

Referenced by mlir::presburger::computeSingleVarRepr(), and operator bool().

lowerBoundIdx

unsigned mlir::presburger::MaybeLocalRepr::lowerBoundIdx

Definition at line 103 of file Utils.h.

[union]

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

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

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