package cbat-vsa

  1. Overview
  2. Docs
type t
module Idx : Cbat_lattice_intf.S_semi with type t = WordSet.idx * Bap.Std.endian
include Cbat_lattice_intf.S_indexed with type t := t and type idx = Idx.t
type idx = Idx.t
val get_idx : t -> idx
val top : idx -> t
val bottom : idx -> t
val meet : t -> t -> t
val join : t -> t -> t
val widen_join : t -> t -> t
val precedes : t -> t -> bool
val equal : t -> t -> bool
val create : WordSet.t -> Bap.Std.endian -> t
val data : t -> WordSet.t
val is_top : t -> bool
val is_bottom : t -> bool
val join_at : idx -> t -> t -> t
val meet_at : idx -> t -> t -> t
val join_poly : t -> t -> t
val meet_poly : t -> t -> t