Rename "AnyOf" and "AllOf" combined predicates to "Or" and "And", respectively.
authorGeoffrey Martin-Noble <gcmn@google.com>
Mon, 20 May 2019 17:31:32 +0000 (10:31 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 20 May 2019 20:49:44 +0000 (13:49 -0700)
commit3be4346cdf2e8cf754e5d6dc595a60d624a44af3
tree9ed5738b16932808070793d22066fa86f2b01dd3
parentf6590eeaa0c5d26db6dadae91482f50dc5e3128c
Rename "AnyOf" and "AllOf" combined predicates to "Or" and "And", respectively.

    This reduces conflict between these and other type names, where we're moving towards "Of" indicating a container type containing certain types. It also better matches the "Neg" predicate modifier and generally is pretty understandable/readable for predicates.

--

PiperOrigin-RevId: 249076508
mlir/g3doc/OpDefinitions.md
mlir/include/mlir/Dialect/QuantOps/QuantPredicates.td
mlir/include/mlir/IR/OpBase.td
mlir/test/mlir-tblgen/predicate.td