package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

A multi-purpose library for OCaml.

Install

dune-project

Dependency

github.com Edit opam file Versions (1)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

v0.3.tar.gz

sha256=b894f4028d71c3cbaf466dd221faa6b09e563c1be92571e7a0fcbf59523b8e97

md5=b55c4bb13f694fc149c38ee91738d937

doc/TCSLib/Tcstransitionsysparser/index.html

Module `Tcstransitionsysparser`

exception TransitionSysParserException of string * int * int

exception TransitionSysParserCustomException of string

val parse_lts : 
  (int -> unit) ->
  (int -> unit) ->
  (int -> (string * int) list -> string list -> string option -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

val parse_explicit_lts : in_channel -> Tcstransitionsys.explicit_lts

val parse_explicit_initlts : in_channel -> Tcstransitionsys.explicit_initlts

val parse_ts : 
  (int -> unit) ->
  (int -> unit) ->
  (int -> int list -> string list -> string option -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

val parse_explicit_ts : in_channel -> Tcstransitionsys.explicit_ts

val parse_explicit_initts : in_channel -> Tcstransitionsys.explicit_initts