MLIR  19.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 239 of file Simplex.h.

Constructor & Destructor Documentation

◆ Unknown()

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

Definition at line 240 of file Simplex.h.

Member Function Documentation

◆ print()

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

Definition at line 249 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 247 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 246 of file Simplex.h.

Referenced by print().

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