package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Mthread.Mt_ids`Source

Sourcetype id_type

Sourcetype raw_id = id_type * int

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

Sourceval 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

Sourceval of_thread : Eva__.Thread.t -> raw_id

Sourceval of_mutex : Eva__.Mutex.t -> raw_id

Sourceval of_queue : Eva__.Mqueue.t -> raw_id