Module member_constraints

Structs

MemberConstraint 🔒

Represents a R0 member of [R1..Rn] constraint

MemberConstraintSet 🔒

Compactly stores a set of R0 member of [R1...Rn] constraints, indexed by the region R0.

NllMemberConstraintIndex 🔒

Functions

append_list 🔒

Given a linked list starting at source_list and another linked list starting at target_list, modify target_list so that it is followed by source_list.