PresburgerRelation.h File Reference

#include "mlir/Analysis/Presburger/IntegerRelation.h"
#include <optional>

Go to the source code of this file.

Classes
class	mlir::presburger::PresburgerRelation
	A PresburgerRelation represents a union of IntegerRelations that live in the same PresburgerSpace with support for union, intersection, subtraction, and complement operations, as well as sampling. More...
class	mlir::presburger::PresburgerSet

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