MLIR  20.0.0git
Public Member Functions | Public Attributes | List of all members
mlir::presburger::PWMAFunction::Piece Struct Reference

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

Public Member Functions

bool isConsistent () const
 

Public Attributes

PresburgerSet domain
 
MultiAffineFunction output
 

Detailed Description

Definition at line 155 of file PWMAFunction.h.

Member Function Documentation

◆ isConsistent()

bool mlir::presburger::PWMAFunction::Piece::isConsistent ( ) const
inline

Member Data Documentation

◆ domain

PresburgerSet mlir::presburger::PWMAFunction::Piece::domain

◆ output

MultiAffineFunction mlir::presburger::PWMAFunction::Piece::output

Definition at line 157 of file PWMAFunction.h.

Referenced by isConsistent(), and tiebreakLex().


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