Module Lang

Benchmark language registry: the t type enumerates all available target languages, and get dispatches to the corresponding Intf.T module.

type t =
  1. | Gerco
  2. | Primes
  3. | NatNasty
  4. | RatNasty
  5. | Probs
  6. | Residual of Base.int * Base.int
  7. | RandBottleneck of Base.int * Base.int
  8. | RandTropical of Base.int * Base.int
  9. | RandTropical100 of Base.int * Base.int
  10. | RandTropicalLIA100 of Base.int * Base.int
  11. | RandTropical1000 of Base.int * Base.int
  12. | RandTropicalLIA1000 of Base.int * Base.int
  13. | Debug
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
module Intf : sig ... end

Module type for benchmark target languages.

module Gerco : sig ... end
module Primes : sig ... end
module Nat_nasty : sig ... end
module Rat_nasty : sig ... end
module Probs : sig ... end
module Residual : sig ... end

Residual NFA family from Denis et al. (Boolean semiring).

module Debug : sig ... end

Debug language: a fixed 3-state tropical WFA used for manual testing.

module Rand_tropical : sig ... end

Random tropical WFA benchmark — unbounded tropical semiring (QF_LIA).

module Rand_tropical_100 : sig ... end

Random tropical WFA benchmark — bounded tropical, bitvector encoding.

module Rand_tropical_lia_100 : sig ... end

Random tropical WFA benchmark — bounded tropical, integer-arithmetic encoding.

module Rand_tropical_1000 : sig ... end

Random tropical WFA benchmark — bounded tropical, bitvector encoding, bound = 1000.

module Rand_tropical_lia_1000 : sig ... end

Random tropical WFA benchmark — bounded tropical, integer-arithmetic encoding, bound = 1000.

module Rand_bottleneck : sig ... end

Random bottleneck WFA benchmark.

val get : t -> (module Intf.T)