MLIR  20.0.0git
Classes | Namespaces | Enumerations
PWMAFunction.h File Reference
#include "mlir/Analysis/Presburger/IntegerRelation.h"
#include "mlir/Analysis/Presburger/PresburgerRelation.h"
#include <optional>

Go to the source code of this file.

Classes

class  mlir::presburger::MultiAffineFunction
 This class represents a multi-affine function with the domain as Z^d, where d is the number of domain variables of the function. More...
 
class  mlir::presburger::PWMAFunction
 This class represents a piece-wise MultiAffineFunction. More...
 
struct  mlir::presburger::PWMAFunction::Piece
 

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::presburger
 

Enumerations

enum class  mlir::presburger::OrderingKind {
  mlir::presburger::EQ , mlir::presburger::NE , mlir::presburger::LT , mlir::presburger::LE ,
  mlir::presburger::GT , mlir::presburger::GE
}
 Enum representing a binary comparison operator: equal, not equal, less than, less than or equal, greater than, greater than or equal. More...