llvm/mlir/include/mlir/Analysis/Presburger/ Source Tree

../
Barvinok.h
Fraction.h Fraction
GeneratingFunction.h GeneratingFunction
IntegerRelation.h BoundType IntegerPolyhedron IntegerRelation
LinearTransform.h LinearTransform
MPInt.h MPInt
Matrix.h FracMatrix IntMatrix Matrix
PWMAFunction.h MultiAffineFunction OrderingKind PWMAFunction
PresburgerRelation.h PresburgerRelation PresburgerSet
PresburgerSpace.h Identifier PresburgerSpace VarKind
QuasiPolynomial.h QuasiPolynomial
Simplex.h LexSimplex LexSimplexBase Simplex SimplexBase SimplexRollbackScopeExit SymbolicLexOpt SymbolicLexSimplex
SlowMPInt.h SlowMPInt
Utils.h DivisionRepr MaybeLocalRepr MaybeOptimum OptimumKind ReprKind