MLIR
15.0.0git

An ordinal predicate consists of a "Question" and a set of acceptable "Answers" (later converted to ordinal values). More...
#include "Conversion/PDLToPDLInterp/Predicate.h"
Public Member Functions  
Qualifier (Predicates::Kind kind)  
Predicates::Kind  getKind () const 
Returns the kind of this qualifier. More...  
Additional Inherited Members  
Protected Member Functions inherited from mlir::StorageUniquer::BaseStorage  
BaseStorage ()=default  
An ordinal predicate consists of a "Question" and a set of acceptable "Answers" (later converted to ordinal values).
A predicate will query some property of a positional value and decide what to do based on the result.
This makes toplevel predicate representations ordinal (SwitchOp). Later, predicates that end up with only one acceptable answer (including all boolean kinds) will be converted to boolean predicates (PredicateOp) in the matcher.
For simplicity, both are represented as "qualifiers", with a base kind and perhaps additional properties. For example, all OperationName predicates ask the same question, but GenericConstraint predicates may ask different ones.
Definition at line 383 of file Predicate.h.

inlineexplicit 
Definition at line 385 of file Predicate.h.

inline 
Returns the kind of this qualifier.
Definition at line 388 of file Predicate.h.
Referenced by createSwitchOp().