Apply a parameterized constraint to multiple position values and possibly produce results. More...
#include "Conversion/PDLToPDLInterp/Predicate.h"
Inheritance diagram for mlir::pdl_to_pdl_interp::ConstraintQuestion:
Public Member Functions | |
| StringRef | getName () const |
| Return the name of the constraint. More... | |
| ArrayRef< Position * > | getArgs () const |
| Return the arguments of the constraint. More... | |
| ArrayRef< Type > | getResultTypes () const |
| Return the result types of the constraint. More... | |
| bool | getIsNegated () const |
| Return the negation status of the constraint. More... | |
| Public Member Functions inherited from mlir::pdl_to_pdl_interp::PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Predicates::ConstraintQuestion > | |
| PredicateBase (KeyT &&key) | |
| bool | operator== (const KeyTy &key) const |
| Utility methods required by the storage allocator. More... | |
| const KeyTy & | getValue () const |
| Return the key value of this predicate. More... | |
| Public Member Functions inherited from mlir::pdl_to_pdl_interp::Qualifier | |
| Qualifier (Predicates::Kind kind) | |
| Predicates::Kind | getKind () const |
| Returns the kind of this qualifier. More... | |
Static Public Member Functions | |
| static ConstraintQuestion * | construct (StorageUniquer::StorageAllocator &alloc, KeyTy key) |
| Construct an instance with the given storage allocator. More... | |
| static llvm::hash_code | hashKey (const KeyTy &key) |
| Returns a hash suitable for the given keytype. More... | |
| Static Public Member Functions inherited from mlir::pdl_to_pdl_interp::PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Predicates::ConstraintQuestion > | |
| static ConstraintQuestion * | get (StorageUniquer &uniquer, Args &&...args) |
| Get an instance of this position. More... | |
| static ConstraintQuestion * | construct (StorageUniquer::StorageAllocator &alloc, KeyT &&key) |
| Construct an instance with the given storage allocator. More... | |
| static bool | classof (const Qualifier *pred) |
Additional Inherited Members | |
| Public Types inherited from mlir::pdl_to_pdl_interp::PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Predicates::ConstraintQuestion > | |
| using | KeyTy = std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool > |
| using | Base = PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Kind > |
| Protected Member Functions inherited from mlir::StorageUniquer::BaseStorage | |
| BaseStorage ()=default | |
| Protected Attributes inherited from mlir::pdl_to_pdl_interp::PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Predicates::ConstraintQuestion > | |
| KeyTy | key |
Detailed Description
Apply a parameterized constraint to multiple position values and possibly produce results.
Definition at line 475 of file Predicate.h.
Member Function Documentation
◆ construct()
|
inlinestatic |
Construct an instance with the given storage allocator.
Definition at line 495 of file Predicate.h.
References mlir::pdl_to_pdl_interp::PredicateBase< ConcreteT, BaseT, Key, Kind >::construct(), mlir::StorageUniquer::StorageAllocator::copyInto(), and mlir::pdl_to_pdl_interp::PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Predicates::ConstraintQuestion >::key.
◆ getArgs()
Return the arguments of the constraint.
Definition at line 486 of file Predicate.h.
◆ getIsNegated()
|
inline |
Return the negation status of the constraint.
Definition at line 492 of file Predicate.h.
◆ getName()
|
inline |
Return the name of the constraint.
Definition at line 483 of file Predicate.h.
◆ getResultTypes()
Return the result types of the constraint.
Definition at line 489 of file Predicate.h.
◆ hashKey()
|
inlinestatic |
Returns a hash suitable for the given keytype.
Definition at line 504 of file Predicate.h.
References mlir::presburger::hash_value(), and mlir::pdl_to_pdl_interp::PredicateBase< ConstraintQuestion, Qualifier, std::tuple< StringRef, ArrayRef< Position * >, ArrayRef< Type >, bool >, Predicates::ConstraintQuestion >::key.
The documentation for this struct was generated from the following file:
- lib/Conversion/PDLToPDLInterp/Predicate.h
