Module Bigraph.Tikz

Simple TikZ output for bigraphs.

Output may need adjustment for optimal layout, but produces usable diagrams for most bigraphs.

type options = {
  1. mutable spacing : float;
    (*

    Spacing between leaf nodes, i.e. atoms and sites.

    *)
  2. mutable numerical_instmap : bool;
    (*

    Draw instantiation maps using numerical identifiers instead of dashed arrows.

    *)
  3. mutable vertical_rules : bool;
    (*

    Draw reaction rules vertically.

    *)
}

Configuration options

val options_of_yojson : Yojson.Safe.t -> options Ppx_deriving_yojson_runtime.error_or
val read_config : Yojson.Safe.t -> (unit, string) Stdlib.result
val big_to_tikz : Big.t -> string

big_to_tikz b compute a string expressing bigraph b in tikz format.

module type R = sig ... end
module Make (Rt : Rs.RS) : R with type t := Rt.react