package kappa-library

You can search for identifiers within the package.

in-package search v0.2.0

Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install

dune-project

Dependency

md5=1c9a8a0d79f085757817f90834e166f5

sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

Printers (user readable) of Kappa compiled units

val alg_expr : 
  noCounters:bool ->
  ?env:Model.t ->
  Format.formatter ->
  Primitives.alg_expr ->
  unit

val bool_expr : 
  noCounters:bool ->
  ?env:Model.t ->
  Format.formatter ->
  (Pattern.id array list, int) Alg_expr.bool ->
  unit

val print_expr_val : 
  ('a -> Kappa_data_structures.Nbr.t) ->
  Format.formatter ->
  'a Primitives.print_expr list ->
  unit

val elementary_rule : 
  noCounters:bool ->
  ?env:Model.t ->
  Format.formatter ->
  Primitives.elementary_rule ->
  unit

val decompiled_rule : 
  noCounters:bool ->
  full:bool ->
  Model.t ->
  Format.formatter ->
  Primitives.elementary_rule ->
  unit

val modification : 
  noCounters:bool ->
  ?env:Model.t ->
  Format.formatter ->
  Primitives.modification ->
  unit

val perturbation : 
  noCounters:bool ->
  ?env:Model.t ->
  Format.formatter ->
  Primitives.perturbation ->
  unit

Sourceval env : noCounters:bool -> Format.formatter -> Model.t -> unit

Sourceval env_kappa : noCounters:bool -> Format.formatter -> Model.t -> unit

Sourceval decompiled_env : noCounters:bool -> Format.formatter -> Model.t -> unit