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

Definition at line 240 of file Simplex.h.

Referenced by mlir::presburger::SymbolicLexSimplex::computeSymbolicIntegerLexMin(), mlir::presburger::Simplex::detectRedundant(), mlir::presburger::Simplex::isMarkedRedundant(), print(), mlir::presburger::SimplexBase::swapRowWithCol(), and mlir::presburger::SimplexBase::undo().

◆ pos

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

Definition at line 239 of file Simplex.h.

Referenced by mlir::presburger::SymbolicLexSimplex::computeSymbolicIntegerLexMin(), mlir::presburger::Simplex::detectRedundant(), mlir::presburger::Simplex::isMarkedRedundant(), print(), mlir::presburger::SimplexBase::swapColumns(), mlir::presburger::SimplexBase::swapRows(), mlir::presburger::SimplexBase::swapRowWithCol(), and mlir::presburger::SimplexBase::undo().

◆ 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:

include/mlir/Analysis/Presburger/Simplex.h

Public Member Functions

Public Attributes