MLIR 24.0.0git
mlir::presburger::detail::GeneratingFunction Class Reference

#include "mlir/Analysis/Presburger/GeneratingFunction.h"

Public Member Functions

 GeneratingFunction (unsigned numParam, SmallVector< int > signs, std::vector< ParamPoint > nums, std::vector< std::vector< Point > > dens)
unsigned getNumParams () const
const SmallVector< int > & getSigns () const &
SmallVector< int > getSigns () &&
SmallVector< int > getSigns () const &&
const std::vector< ParamPoint > & getNumerators () const &
std::vector< ParamPointgetNumerators () &&
std::vector< ParamPointgetNumerators () const &&
const std::vector< std::vector< Point > > & getDenominators () const &
std::vector< std::vector< Point > > getDenominators () &&
std::vector< std::vector< Point > > getDenominators () const &&
GeneratingFunction operator+ (const GeneratingFunction &gf) const
llvm::raw_ostream & print (llvm::raw_ostream &os) const

Detailed Description

Definition at line 53 of file GeneratingFunction.h.

Constructor & Destructor Documentation

◆ GeneratingFunction()

mlir::presburger::detail::GeneratingFunction::GeneratingFunction ( unsigned numParam,
SmallVector< int > signs,
std::vector< ParamPoint > nums,
std::vector< std::vector< Point > > dens )
inline

Definition at line 55 of file GeneratingFunction.h.

Referenced by operator+().

Member Function Documentation

◆ getDenominators() [1/3]

std::vector< std::vector< Point > > mlir::presburger::detail::GeneratingFunction::getDenominators ( ) &&
inline

Definition at line 81 of file GeneratingFunction.h.

◆ getDenominators() [2/3]

const std::vector< std::vector< Point > > & mlir::presburger::detail::GeneratingFunction::getDenominators ( ) const &
inline

Definition at line 78 of file GeneratingFunction.h.

Referenced by mlir::presburger::detail::computeNumTerms().

◆ getDenominators() [3/3]

std::vector< std::vector< Point > > mlir::presburger::detail::GeneratingFunction::getDenominators ( ) const &&
inline

Definition at line 84 of file GeneratingFunction.h.

◆ getNumerators() [1/3]

std::vector< ParamPoint > mlir::presburger::detail::GeneratingFunction::getNumerators ( ) &&
inline

Definition at line 75 of file GeneratingFunction.h.

◆ getNumerators() [2/3]

const std::vector< ParamPoint > & mlir::presburger::detail::GeneratingFunction::getNumerators ( ) const &
inline

Definition at line 74 of file GeneratingFunction.h.

Referenced by mlir::presburger::detail::computeNumTerms().

◆ getNumerators() [3/3]

std::vector< ParamPoint > mlir::presburger::detail::GeneratingFunction::getNumerators ( ) const &&
inline

Definition at line 76 of file GeneratingFunction.h.

◆ getNumParams()

unsigned mlir::presburger::detail::GeneratingFunction::getNumParams ( ) const
inline

Definition at line 68 of file GeneratingFunction.h.

Referenced by mlir::presburger::detail::computeNumTerms(), and operator+().

◆ getSigns() [1/3]

SmallVector< int > mlir::presburger::detail::GeneratingFunction::getSigns ( ) &&
inline

Definition at line 71 of file GeneratingFunction.h.

◆ getSigns() [2/3]

const SmallVector< int > & mlir::presburger::detail::GeneratingFunction::getSigns ( ) const &
inline

Definition at line 70 of file GeneratingFunction.h.

Referenced by mlir::presburger::detail::computeNumTerms().

◆ getSigns() [3/3]

SmallVector< int > mlir::presburger::detail::GeneratingFunction::getSigns ( ) const &&
inline

Definition at line 72 of file GeneratingFunction.h.

◆ operator+()

GeneratingFunction mlir::presburger::detail::GeneratingFunction::operator+ ( const GeneratingFunction & gf) const
inline

Definition at line 88 of file GeneratingFunction.h.

References GeneratingFunction(), and getNumParams().

◆ print()

llvm::raw_ostream & mlir::presburger::detail::GeneratingFunction::print ( llvm::raw_ostream & os) const
inline

Definition at line 105 of file GeneratingFunction.h.


The documentation for this class was generated from the following file: