package bes

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ext_bool = [

]

type dnf_minterm = ext_bool list

type dnf_expression = dnf_minterm list

type optimization_algorithm =

val set_verbose_mode : bool -> unit

val set_result_verification : bool -> unit

val optimize : optimization_algorithm -> dnf_expression -> dnf_expression

val auto_optimize : dnf_expression -> dnf_expression * bool

val dnf_minterm_of_string : string -> dnf_minterm

val dnf_expression_of_string : char -> string -> dnf_expression

val dnf_expression_of_string_list : string list -> dnf_expression

val load_from_file : string -> dnf_expression

val string_of_dnf_expression : dnf_expression -> string

val string_of_dnf_minterm : dnf_minterm -> string

val print_dnf_expression : dnf_expression -> unit

val print_dnf_minterm : dnf_minterm -> unit