IntegerRelation.h File Reference

#include "mlir/Analysis/Presburger/Fraction.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include "mlir/Analysis/Presburger/PresburgerSpace.h"
#include "mlir/Analysis/Presburger/Utils.h"
#include "llvm/ADT/DynamicAPInt.h"
#include "llvm/ADT/Sequence.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/LogicalResult.h"
#include <optional>

Go to the source code of this file.

Classes
class	mlir::presburger::IntegerRelation
	An IntegerRelation represents the set of points from a PresburgerSpace that satisfy a list of affine constraints. More...
struct	mlir::presburger::IntegerRelation::CountsSnapshot
	The struct CountsSnapshot stores the count of each VarKind, and also of each constraint type. More...
class	mlir::presburger::IntegerPolyhedron
	An IntegerPolyhedron represents the set of points from a PresburgerSpace that satisfy a list of affine constraints. More...
class	mlir::presburger::SmallVectorImpl< T >

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::presburger

Enumerations
enum class	mlir::presburger::BoundType { mlir::presburger::EQ , mlir::presburger::LB , mlir::presburger::UB }
	The type of bound: equal, lower bound or upper bound. More...

Functions
raw_ostream &	mlir::presburger::operator<< (raw_ostream &os, const IntegerRelation &rel)