[MLIR] Add IntegerPolyhedron::getUniverse
This operation already exists in FlatAffineConstraints but is added to IntegerPolyhedron to keep consistancy in available methods.
parent
32300375
Please register or sign in to comment
This operation already exists in FlatAffineConstraints but is added to IntegerPolyhedron to keep consistancy in available methods.