Structsยง
- Indexed
Constraint ๐Edges - An index from region variables to their corresponding constraint edges, used on some error paths.
Enumsยง
- Edge
Direction ๐ - Selects either out-edges or in-edges for
IndexedConstraintEdges::adjacent_edges.
Type Aliasesยง
- Constraint
Pair ๐ - Type alias for the pairs stored in
RegionConstraintData::constraints, which we are indexing.