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