MLIR  19.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.


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


 Include the generated interface declarations.


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...