package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

A multi-purpose library for OCaml.

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

v0.3.tar.gz

sha256=b894f4028d71c3cbaf466dd221faa6b09e563c1be92571e7a0fcbf59523b8e97

md5=b55c4bb13f694fc149c38ee91738d937

doc/TCSLib/Tcstransitionsys/index.html

Module `Tcstransitionsys`

type ('s, 'l, 'p) initlts =
  ('s * ('s -> 'p list) * ('s -> ('l * 's) list) * ('s -> string))
  * (('s -> 's -> int) option * ('l -> string) * ('p -> string))

val get_timed_initlts : 
  ('s, 'l, 'p) initlts ->
  Tcstiming.SimpleTiming.timing_object ->
  ('s, 'l, 'p) initlts

val get_cached_initlts : ('s, 'l, 'p) initlts -> ('s, 'l, 'p) initlts

val get_int_cached_initlts : 
  ('s, 'l, 'p) initlts ->
  ('s -> int -> unit) ->
  (int, 'l, 'p) initlts * ('s -> int) * (int -> 's)

type explicit_lts =
  string array
  * string array
  * (int array * (int * int) array * string option * bool) array

type explicit_initlts = int * explicit_lts

val build_explicit_initlts : 
  (int, 'l, 'p) initlts ->
  (int -> 's) ->
  ('s -> string option) ->
  (int -> unit) ->
  explicit_initlts

val print_explicit_lts : explicit_lts -> (string -> unit) -> unit

val print_explicit_initlts : explicit_initlts -> (string -> unit) -> unit

type ('s, 'p) initts =
  ('s * ('s -> 'p list) * ('s -> 's list) * ('s -> string))
  * (('s -> 's -> int) option * ('p -> string))

val get_timed_initts : 
  ('s, 'p) initts ->
  Tcstiming.SimpleTiming.timing_object ->
  ('s, 'p) initts

val get_cached_initts : ('s, 'p) initts -> ('s, 'p) initts

val get_int_cached_initts : 
  ('s, 'p) initts ->
  ('s -> int -> unit) ->
  (int, 'p) initts * ('s -> int) * (int -> 's)

type explicit_ts =
  string array * (int array * int array * string option * bool) array

type explicit_initts = int * explicit_ts

val build_explicit_initts : 
  (int, 'p) initts ->
  (int -> 's) ->
  ('s -> string option) ->
  (int -> unit) ->
  explicit_initts

val print_explicit_ts : explicit_ts -> (string -> unit) -> unit

val print_explicit_initts : explicit_initts -> (string -> unit) -> unit