Lines Matching defs:Constraints

116 #### Constraints
480 #### Variable Constraints
498 of PDLL). See the general [Constraints](#constraints) section for more detailed
866 ### Constraints
868 Constraints provide the ability to inject additional checks on the input IR
869 within the `match` section of a pattern. Constraints can be applied anywhere
874 #### Core Constraints
967 #### Defining Constraints in PDLL
994 ##### Constraints with multiple results
996 Constraints can return multiple results by returning a tuple of values. When
1042 Constraints generally define their body using a compound block of statements, as
1054 Constraints also support a lambda-like syntax for specifying simple single line
1065 #### Native Constraints
1067 Constraints may also be defined outside of PDLL, and registered natively within
1070 ##### Importing existing Native Constraints
1072 Constraints defined externally can be imported into PDLL by specifying a
1120 ##### Defining Native Constraints in PDLL
1215 * Imported ODS Constraints
1230 #### Defining Constraints Inline
1232 In addition to global scope, PDLL Constraints and Native Constraints defined in
1234 be defined in Patterns, other Constraints, Rewrites, etc:
1248 Constraints that are defined inline may also elide the name when used directly: