package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include S with type point = Bitvector.t and type interval = Bitvector.t t
type point = Bitvector.t
type interval = Bitvector.t t
type t
val empty : t
val singleton : interval -> t
val add : interval -> t -> t
val remove : interval -> t -> t
val is_empty : t -> bool
val cardinal : t -> int
val mem : interval -> t -> bool
val min : t -> point option
val max : t -> point option
val is_point : t -> point option
val is_interval : t -> interval option
val belongs : point -> t -> interval list
val intersects : interval -> t -> interval list
val map : (interval -> interval) -> t -> t
val iter : (interval -> unit) -> t -> unit
val fold : (interval -> 'a -> 'a) -> t -> 'a -> 'a
val union : t -> t -> t
val inter : t -> t -> t
val print : (point -> string) -> t -> string
val top : int -> t
val bot : int -> t
val equal : Bitvector.t -> t
val distinct : Bitvector.t -> t
val ule : Bitvector.t -> t
val uge : Bitvector.t -> t
val ult : Bitvector.t -> t
val ugt : Bitvector.t -> t
val sle : Bitvector.t -> t
val sge : Bitvector.t -> t
val slt : Bitvector.t -> t
val sgt : Bitvector.t -> t
val zero_extend : int -> t -> t
val sign_extend : int -> t -> t
val extract : int Basic_types.interval -> t -> t
val concat : t -> t -> t
val bvand : t -> t -> t
val bvor : t -> t -> t
val bvadd : t -> t -> t
val bvsub : t -> t -> t