MLIR  20.0.0git
Public Member Functions | Public Attributes | List of all members
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.

◆ 

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(), and operator bool().

◆ lowerBoundIdx

unsigned mlir::presburger::MaybeLocalRepr::lowerBoundIdx

Definition at line 103 of file Utils.h.

◆ 

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: