IntervalSet (B2R2)

IntervalSet Module

Namespace: B2R2
Assembly: B2R2.Core.dll

Helper module for IntervalSet.

Functions and values

Function or value	Description
`add i arg2` Full Usage: `add i arg2` Parameters: i : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`	Add 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`	Check 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`	Check 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`	Find all overlapping intervals. 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`	Fold the 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`	Check 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`	Iterate the set. fn : `AddrRange -> unit` s : `IntervalSet`
`remove range arg2` Full Usage: `remove range arg2` Parameters: range : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`	Assuming the given AddrRange is in the set, remove the range. range : `AddrRange` arg1 : `IntervalSet` Returns: `IntervalSet`
`tryFind range s` Full Usage: `tryFind range s` Parameters: range : `AddrRange` s : `IntervalSet` Returns: `AddrRange option`	Find and return 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`	Find and return the first matching interval from the given address. addr : `Addr` s : `IntervalSet` Returns: `AddrRange option`