MLIR 22.0.0git
GeneratingFunction.h File Reference

Go to the source code of this file.

Classes

class  mlir::presburger::detail::GeneratingFunction

Namespaces

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

Typedefs

using mlir::presburger::detail::ParamPoint = FracMatrix
using mlir::presburger::detail::Point = SmallVector<Fraction>