Skip to main content

Module indexed_edges

Module indexed_edges 

Source

Structsยง

IndexedConstraintEdges ๐Ÿ”’
An index from region variables to their corresponding constraint edges, used on some error paths.

Enumsยง

EdgeDirection ๐Ÿ”’
Selects either out-edges or in-edges for IndexedConstraintEdges::adjacent_edges.

Type Aliasesยง

ConstraintPair ๐Ÿ”’
Type alias for the pairs stored in RegionConstraintData::constraints, which we are indexing.