package lascar

You can search for identifiers within the package.

in-package search v0.2.0

A library for manipulating Labeled Transition Systems in OCaml

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

J

Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

J

Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

lascar-0.6.0.tbz

sha256=343190b9c765655e787758db86a82818404dda18b4d2806283b4bde3ced91d26

sha512=2b6534ac438d574228d127b3b4e2cfec17b8b95e95124297c8da351caf34de2bb4ec8a31028a1470ba7f42aa932257293d021140a5a1c2642d1a60a8123d00a0

doc/lascar.utils/Utils/Tree/module-type-S/index.html

Module type `Tree.S`Source

Output signature of the functor Tree.Make.

type node

The type of information attached to the nodes of the tree

type edge

The type of information attached to the edges of the tree

type t =

| Empty
| Node of node * (t * edge) list

val fold : (node -> node -> node) -> node -> t -> node

fold f z t is f (... (f (f z n1) n2) ...) nn, where n1, ..., nn are the nodes of t. The order in which the nodes are presented is unspecified.

val dot_output : string -> string -> ?options:Dot.graph_style list -> t -> unit

dot_output name fname t writes a .dot representation of tree t with name name in file fname. The aspect of the tree can be adjusted with the options optional argument (see Dot.graph_style).

val dot_view : 
  string ->
  ?options:Dot.graph_style list ->
  ?dir:string ->
  ?cmd:string ->
  t ->
  int

dot_view name t writes a .dot representation of t in file dir/name.dot and opens it with Graphviz. The output directory dir is specified with the dir optional argument (default: "/tmp"). The command for launching Graphviz is specified with the cmd optional argument (default: "open -a Graphviz"). The options optional argument is the same than defined for dot_output. The function returns the exit code of the corresponding process.