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

An Unknown is either a variable or a constraint. More...

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

Public Member Functions

 Unknown (Orientation oOrientation, bool oRestricted, unsigned oPos, bool oIsSymbol=false)
 
void print (raw_ostream &os) const
 

Public Attributes

unsigned pos
 
Orientation orientation
 
bool restricted: 1
 
bool isSymbol: 1
 

Detailed Description

An Unknown is either a variable or a constraint.

It is always associated with either a row or column. Whether it's a row or a column is specified by the orientation and pos identifies the specific row or column it is associated with. If the unknown is restricted, then it has a non-negativity constraint associated with it, i.e., its sample value must always be non-negative and if it cannot be made non-negative without violating other constraints, the tableau is empty.

Definition at line 234 of file Simplex.h.

Constructor & Destructor Documentation

◆ Unknown()

mlir::presburger::SimplexBase::Unknown::Unknown ( Orientation  oOrientation,
bool  oRestricted,
unsigned  oPos,
bool  oIsSymbol = false 
)
inline

Definition at line 235 of file Simplex.h.

Member Function Documentation

◆ print()

void mlir::presburger::SimplexBase::Unknown::print ( raw_ostream &  os) const
inline

Definition at line 244 of file Simplex.h.

References orientation, pos, restricted, and mlir::presburger::SimplexBase::Row.

Member Data Documentation

◆ isSymbol

bool mlir::presburger::SimplexBase::Unknown::isSymbol

Definition at line 242 of file Simplex.h.

◆ orientation

Orientation mlir::presburger::SimplexBase::Unknown::orientation

◆ pos

unsigned mlir::presburger::SimplexBase::Unknown::pos

◆ restricted

bool mlir::presburger::SimplexBase::Unknown::restricted

Definition at line 241 of file Simplex.h.

Referenced by print().


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