package pomap

You can search for identifiers within the package.

in-package search v0.2.0

Partially Ordered Maps for OCaml

Install

Dune Dependency

mmottl.github.io Readme Changelog LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License Edit opam file Versions (3)

Authors

M

Markus Mottl <markus.mottl@gmail.com>

Maintainers

M

Markus Mottl <markus.mottl@gmail.com>

Sources

pomap-4.1.1.tbz

sha256=e46b167f04e32183fa0c3b93306a6fa3cbe3cb7d3d4109bf2c9532141bacaa69

md5=3b550852c99fc2dc45db5bb53c3729b7

doc/src/pomap/display_hasse_intf.ml.html

Source file `display_hasse_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
(*
   HASSE - Library for generating Hasse-diagrams with the dot-utility

   Copyright (C) 2001-2002  Markus Mottl  (OEFAI)
   email: markus.mottl@gmail.com
   WWW:   http://www.ocaml.info

   This program is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License
   as published by the Free Software Foundation; either version 2
   of the License, or (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place --- Suite 330, Boston, MA 02111-1307, USA.
*)

(** Default specification for drawing with the DOT-utility. *)
module type DEFAULT_SPEC = sig
  (** DOT-options (see "man dot") *)

  val name : string
  val label : string
  val size_x : float
  val size_y : float
  val ratio : float
  val rotation : float
  val center : bool

  val top_attr : string
  (** Node attribute string for top nodes, e.g. "shape = box" *)

  val bot_attr : string
  (** Node attribute string for bottom nodes *)

  val top_bot_attr : string
  (** Node attribute string for top/bottom nodes *)

  val edge_attr : string
  (** Edge attribute string, e.g. "color = blue" *)
end

(** Specification for drawing Hasse-diagrams. *)
module type SPEC = sig
  include DEFAULT_SPEC

  type el
  type (+'a) node

  val pp_node_attr : Format.formatter -> el node -> unit
  (** [pp_node_attr ppf node] prints attributes of [node] to the
      pretty-printer [ppf]. *)
end

(** Interface for drawing Hasse-diagrams. *)
module type DISPLAY_HASSE = sig
  type pomap

  val fprintf : Format.formatter -> pomap -> unit
    (** [fprintf ppf pm] prints partially ordered map [pm] to the
        pretty-printer [ppf]. *)

  val printf : pomap -> unit
    (** [printf ppf pm] prints partially ordered map [pm] to [stdout]. *)
end