|
| class | PredicateBase |
| | Base class for all predicates, used to allow efficient pointer comparison. More...
|
| |
| class | PredicateBase< ConcreteT, BaseT, void, Kind > |
| | Base storage for simple predicates that only unique with the kind. More...
|
| |
| class | Position |
| | A position describes a value on the input IR on which a predicate may be applied, such as an operation or attribute. More...
|
| |
| struct | AttributePosition |
| | A position describing an attribute of an operation. More...
|
| |
| struct | AttributeLiteralPosition |
| | A position describing a literal attribute. More...
|
| |
| struct | ForEachPosition |
| | A position describing an iterative choice of an operation. More...
|
| |
| struct | OperandPosition |
| | A position describing an operand of an operation. More...
|
| |
| struct | OperandGroupPosition |
| | A position describing an operand group of an operation. More...
|
| |
| struct | OperationPosition |
| | An operation position describes an operation node in the IR. More...
|
| |
| struct | ConstraintPosition |
| | A position describing the result of a native constraint. More...
|
| |
| struct | ResultPosition |
| | A position describing a result of an operation. More...
|
| |
| struct | ResultGroupPosition |
| | A position describing a result group of an operation. More...
|
| |
| struct | TypePosition |
| | A position describing the result type of an entity, i.e. More...
|
| |
| struct | TypeLiteralPosition |
| | A position describing a literal type or type range. More...
|
| |
| struct | UsersPosition |
| | A position describing the users of a value or a range of values. More...
|
| |
| class | Qualifier |
| | An ordinal predicate consists of a "Question" and a set of acceptable "Answers" (later converted to ordinal values). More...
|
| |
| struct | AttributeAnswer |
| | An Answer representing an Attribute value. More...
|
| |
| struct | OperationNameAnswer |
| | An Answer representing an OperationName value. More...
|
| |
| struct | TrueAnswer |
| | An Answer representing a boolean true value. More...
|
| |
| struct | FalseAnswer |
| | An Answer representing a boolean 'false' value. More...
|
| |
| struct | TypeAnswer |
| | An Answer representing a Type value. More...
|
| |
| struct | UnsignedAnswer |
| | An Answer representing an unsigned value. More...
|
| |
| struct | AttributeQuestion |
| | Compare an Attribute to a constant value. More...
|
| |
| struct | ConstraintQuestion |
| | Apply a parameterized constraint to multiple position values and possibly produce results. More...
|
| |
| struct | EqualToQuestion |
| | Compare the equality of two values. More...
|
| |
| struct | IsNotNullQuestion |
| | Compare a positional value with null, i.e. check if it exists. More...
|
| |
| struct | OperandCountQuestion |
| | Compare the number of operands of an operation with a known value. More...
|
| |
| struct | OperandCountAtLeastQuestion |
| |
| struct | OperationNameQuestion |
| | Compare the name of an operation with a known value. More...
|
| |
| struct | ResultCountQuestion |
| | Compare the number of results of an operation with a known value. More...
|
| |
| struct | ResultCountAtLeastQuestion |
| |
| struct | TypeQuestion |
| | Compare the type of an attribute or value with a known type. More...
|
| |
| class | PredicateUniquer |
| | This class provides a storage uniquer that is used to allocate predicate instances. More...
|
| |
| class | PredicateBuilder |
| | This class provides utilities for constructing predicates. More...
|
| |
| struct | PositionalPredicate |
| | A PositionalPredicate is a predicate that is associated with a specific positional value. More...
|
| |
| class | MatcherNode |
| | This class represents the base of a predicate matcher node. More...
|
| |
| struct | BoolNode |
| | A BoolNode denotes a question with a boolean-like result. More...
|
| |
| struct | ExitNode |
| | An ExitNode is a special sentinel node that denotes the end of matcher. More...
|
| |
| struct | SuccessNode |
| | A SuccessNode denotes that a given high level pattern has successfully been matched. More...
|
| |
| struct | SwitchNode |
| | A SwitchNode denotes a question with multiple potential results. More...
|
| |
| struct | RootOrderingEntry |
| | The information associated with an edge in the cost graph. More...
|
| |
| class | OptimalBranching |
| | The optimal branching algorithm solver. More...
|
| |
