MLIR  19.0.0git
mlir::presburger::IntegerRelation::CountsSnapshot Member List

This is the complete list of members for mlir::presburger::IntegerRelation::CountsSnapshot, including all inherited members.

CountsSnapshot(const PresburgerSpace &space, unsigned numIneqs, unsigned numEqs)mlir::presburger::IntegerRelation::CountsSnapshotinline
getNumEqs() constmlir::presburger::IntegerRelation::CountsSnapshotinline
getNumIneqs() constmlir::presburger::IntegerRelation::CountsSnapshotinline
getSpace() constmlir::presburger::IntegerRelation::CountsSnapshotinline