maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[MLIR][Presburger] Make the SimplexBase constructor protected 

This is not supposed to be instantiated directly anyway.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D122923
This commit is contained in:
Arjun P 2022-03-31 13:19:37 +01:00
parent cd85ea9431
commit 698484549a
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
mlir/include/mlir/Analysis/Presburger/Simplex.h
View File

@ -153,15 +153,6 @@ public:
SimplexBase() = delete;
virtual ~SimplexBase() = default;
/// Construct a SimplexBase with the specified number of variables and fixed
/// columns.
///
/// For example, Simplex uses two fixed columns: the denominator and the
/// constant term, whereas LexSimplex has an extra fixed column for the
/// so-called big M parameter. For more information see the documentation for
/// LexSimplex.
SimplexBase(unsigned nVar, bool mustUseBigM);
/// Returns true if the tableau is empty (has conflicting constraints),
/// false otherwise.
bool isEmpty() const;
@ -213,6 +204,15 @@ public:
void dump() const;
protected:
/// Construct a SimplexBase with the specified number of variables and fixed
/// columns.
///
/// For example, Simplex uses two fixed columns: the denominator and the
/// constant term, whereas LexSimplex has an extra fixed column for the
/// so-called big M parameter. For more information see the documentation for
/// LexSimplex.
SimplexBase(unsigned nVar, bool mustUseBigM);
enum class Orientation { Row, Column };
/// An Unknown is either a variable or a constraint. It is always associated