package symkat

  1. Overview
  2. Docs
type var = char
type gstring = (var, Bdd.key) Common.gstring
val print_gstring : gstring Common.formatter
type 's mem = ('s, Bdd.key) Bdd.mem
type 's node = ('s, Bdd.key) Bdd.node
type 'a span = (var, 'a) Common.span
type test =
  1. | Dsj of test * test
  2. | Cnj of test * test
  3. | Neg of test
  4. | Top
  5. | Bot
  6. | Prd of Bdd.key
val test_to_formula : test -> Bdd.formula
type (!'o, !'e) expr_ =
  1. | Pls of 'e * 'e
  2. | Dot of 'e * 'e
  3. | Str of 'e
  4. | Tst of 'o
  5. | Var of var
type expr = (test, expr) expr_
type abstr
type expr' = abstr Common.hval
type expr'_set = abstr Common.hset
val hash : expr' -> int
val head : expr' -> (Bdd.formula, expr') expr_
val subst : (var -> expr') -> expr' -> expr'
val vars : expr' -> var Common.set
val pls : expr' -> expr' -> expr'
val dot : expr' -> expr' -> expr'
val tod : expr' -> expr' -> expr'
val str : expr' -> expr'
val tst : Bdd.formula -> expr'
val var : char -> expr'
val zer : expr'
val one : expr'
val expr' : expr -> expr'
val epsilon : expr' -> Bdd.formula
val ssf : expr' -> expr'
val print_test : Stdlib.Format.formatter -> test -> unit
val print_expr : Stdlib.Format.formatter -> expr -> unit
val print_expr' : Stdlib.Format.formatter -> expr' -> unit
val random_expr : Bdd.key list -> var list -> int -> unit -> expr
val random_full_expr : Bdd.key list -> var list -> int -> unit -> expr