Not normalized. Two nodes in the same equivalence class may have different identifiers.

Unique id of normalized node. This can be considered the unique identifier of the region equivalence class.

Returns a normalized node.

• raises Not_found

  if not a valid node identifier.

Normalized node. The returned node is the representative of the region equivalence class. There is one unique representative per equivalence class.

Normalized list of nodes (normalized, uniques, sorted by id)

Full-sized cells with unique type access

equal m a b checks if nodes a and b are in the same region.

include m a b checks if region a is a sub-region of b in map m.

separated m a b checks if region a and region b are disjoint. Disjoints regions a and b have the following properties:

• a is not a sub-region of b;
• b is not a sub-region of a;
• two l-values respectively localized in a and b can never be aliased.

singleton m a returns true when node a is guaranteed to have only one single address in its equivalence class.

lval m lv is region where the address of l lives in. The returned region is normalized.

• raises Not_found

  if the l-value is not localized in the map

exp m e is the domain of values that can computed by expression e. The domain is Some r is e has a pointer type and any pointer computed by e lives in region r. The domain is None if e has a non-pointer scalar or compound type.

• raises Not_found

  if the l-value is not localized in the map

Unormalized.

• raises Not_found

Unormalized.

• raises Not_found

Unormalized.

• raises Not_found

Normalized list of leaf nodes.