package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type return_code =
  1. | SUCCESS
  2. | ERROR
and partition_mode =
  1. | IDLE
  2. | COLD_START
  3. | WARM_START
  4. | NORMAL
and status =
  1. | NOTCREATED
  2. | STOPPED
  3. | SUSPENDED
  4. | WAITING
  5. | READY
  6. | DONE
and waiting_for =
  1. | NONE
  2. | BLACKBOARD
  3. | SEMA
  4. | EVENT
  5. | TIME
and queuing_discipline =
  1. | FIFO
  2. | PRIO
val show_return_code : return_code -> Ppx_deriving_runtime.string
val show_partition_mode : partition_mode -> Ppx_deriving_runtime.string
val show_status : status -> Ppx_deriving_runtime.string
val show_waiting_for : waiting_for -> Ppx_deriving_runtime.string
val show_queuing_discipline : queuing_discipline -> Ppx_deriving_runtime.string
val min_return_code : int
val max_return_code : int
val return_code_to_enum : return_code -> int
val return_code_of_enum : int -> return_code option
val min_partition_mode : int
val max_partition_mode : int
val partition_mode_to_enum : partition_mode -> int
val partition_mode_of_enum : int -> partition_mode option
val min_status : int
val max_status : int
val status_to_enum : status -> int
val status_of_enum : int -> status option
val min_waiting_for : int
val max_waiting_for : int
val waiting_for_to_enum : waiting_for -> int
val waiting_for_of_enum : int -> waiting_for option
val min_queuing_discipline : int
val max_queuing_discipline : int
val queuing_discipline_to_enum : queuing_discipline -> int
val queuing_discipline_of_enum : int -> queuing_discipline option
val extract_types : string list
val init : ?nproc:int -> ?nsema:int -> ?nevent:int -> ?nbboard:int -> unit -> unit * string