package symkat

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 =

val test_to_formula : test -> Bdd.formula

type (!'o, !'e) expr_ =

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 : Format.formatter -> test -> unit

val print_expr : Format.formatter -> expr -> unit

val print_expr' : 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