IntervalSet (B2R2) | B2R2

IntervalSet Module

Namespace: B2R2.Collections
Assembly: B2R2.Core.dll

Provides functions for creating or manipulating interval sets.

Functions and values

Function or value	Description
`add i arg2` Full Usage: `add i arg2` Parameters: i : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`	Adds an item to the interval tree. i : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`
`contains i arg2` Full Usage: `contains i arg2` Parameters: i : `AddrRange` arg1 : `IntervalSet` Returns: `bool`	Checks whether the exact interval exists in the interval set. i : `AddrRange` arg1 : `IntervalSet` Returns: `bool`
`containsAddr addr s` Full Usage: `containsAddr addr s` Parameters: addr : `Addr` s : `IntervalSet` Returns: `bool`	Checks whether the given address exists in the interval set. addr : `Addr` s : `IntervalSet` Returns: `bool`
`empty` Full Usage: `empty` Returns: `IntervalSet`	Empty interval tree. Returns: `IntervalSet`
`findAll range arg2` Full Usage: `findAll range arg2` Parameters: range : `AddrRange` arg1 : `IntervalSet` Returns: `AddrRange list`	Finds all overlapping intervals in the given range. range : `AddrRange` arg1 : `IntervalSet` Returns: `AddrRange list`
`fold fn acc arg3` Full Usage: `fold fn acc arg3` Parameters: fn : `'a -> AddrRange -> 'a` acc : `'a` arg2 : `IntervalSet` Returns: `'a`	Folds the elements in the interval set. fn : `'a -> AddrRange -> 'a` acc : `'a` arg2 : `IntervalSet` Returns: `'a`
`includeRange range arg2` Full Usage: `includeRange range arg2` Parameters: range : `AddrRange` arg1 : `IntervalSet` Returns: `bool`	Checks whether the given address interval is included in any of the intervals in the interval set. range : `AddrRange` arg1 : `IntervalSet` Returns: `bool`
`iter fn s` Full Usage: `iter fn s` Parameters: fn : `AddrRange -> unit` s : `IntervalSet`	Iterates the elements in the interval set. fn : `AddrRange -> unit` s : `IntervalSet`
`remove range arg2` Full Usage: `remove range arg2` Parameters: range : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`	Removes the given range assuming it is in the set. Raises an exception if the range is not in the set. range : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`
`tryFind range s` Full Usage: `tryFind range s` Parameters: range : `AddrRange` s : `IntervalSet` Returns: `AddrRange option`	Finds and returns the first matching interval from the given range. range : `AddrRange` s : `IntervalSet` Returns: `AddrRange option`
`tryFindByAddr addr s` Full Usage: `tryFindByAddr addr s` Parameters: addr : `Addr` s : `IntervalSet` Returns: `AddrRange option`	Finds and returns the first matching interval from the given address. addr : `Addr` s : `IntervalSet` Returns: `AddrRange option`