Module route_verification_ir::address_prefix

Structs

• AddrPfxRange
  An address prefix IpNet followed by an optional range operator RangeOperator.

Enums

• RangeOperator

Functions

• address_prefix_contains
• get_address_prefix_range_fields
• get_range_operator_num
• get_range_operator_range
• match_ips
  ips must be sorted. Starting from the index of the closest element in ips, search right and left for address prefix that, combined with range_operator, contains ip. Stop searching either end when the index do not point to ip’s siblings.