Mt_ids (frama-c-eva.Mthread.Mt

type id_type

type raw_id = id_type * int

val pretty_raw_id : Stdlib.Format.formatter -> raw_id -> unit

val read_id_state : Mt_memory.Types.state -> raw_id -> Mt_memory.Types.value

val read_id_state_enumerate : 
  int ->
  Mt_memory.Types.state ->
  raw_id ->
  int list Mt_memory.conversion

val write_id_state : 
  Mt_memory.Types.state ->
  raw_id ->
  int ->
  Mt_memory.Types.state

val replace_id_value : 
  Mt_memory.Types.state ->
  raw_id ->
  before:int ->
  after:int ->
  Mt_memory.Types.state

val of_thread : Eva__.Thread.t -> raw_id

val of_mutex : Eva__.Mutex.t -> raw_id

val of_queue : Eva__.Mqueue.t -> raw_id