NodeValueState (frama-c-eva.Mthread.Mt_cfg

type t = node_value_state

val dummy : t

val threads_presence : 
  [> `NotStarted | `Prior | `Started | `MaybeStarted ] ->
  Eva__.Thread.t ->
  Mt_memory.Types.state ->
  Mt_types.presence_flag Mt_lib.conversion_with_warning

val mutex_presence : 
  Eva__.Mutex.t ->
  Mt_memory.Types.state ->
  Mt_types.presence_flag Mt_lib.conversion_with_warning