Module member_constraints

Structs

• MemberConstraintSet 🔒
  Compactly stores a set of R0 member of [R1...Rn] constraints, indexed by the region R0.
• NllMemberConstraint 🔒
  Represents a R0 member of [R1..Rn] constraint
• 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.