MLIR
17.0.0git
|
The struct CountsSnapshot stores the count of each VarKind, and also of each constraint type. More...
#include "mlir/Analysis/Presburger/IntegerRelation.h"
Public Member Functions | |
CountsSnapshot (const PresburgerSpace &space, unsigned numIneqs, unsigned numEqs) | |
const PresburgerSpace & | getSpace () const |
unsigned | getNumIneqs () const |
unsigned | getNumEqs () const |
The struct CountsSnapshot stores the count of each VarKind, and also of each constraint type.
getCounts() returns a CountsSnapshot object describing the current state of the IntegerRelation. truncate() truncates all vars of each VarKind and all constraints of both kinds beyond the counts in the specified CountsSnapshot object. This can be used to achieve rudimentary rollback support. As long as none of the existing constraints or vars are disturbed, and only additional vars or constraints are added, this addition can be rolled back using truncate.
Definition at line 241 of file IntegerRelation.h.
|
inline |
Definition at line 243 of file IntegerRelation.h.
|
inline |
Definition at line 248 of file IntegerRelation.h.
Referenced by mlir::presburger::IntegerRelation::truncate().
|
inline |
Definition at line 247 of file IntegerRelation.h.
Referenced by mlir::presburger::IntegerRelation::truncate().
|
inline |
Definition at line 246 of file IntegerRelation.h.
Referenced by getSetDifference().