package bes

  1. Overview
  2. Docs
package bes
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ext_bool = [
  1. | `Dontcare
  2. | `False
  3. | `True
]
type dnf_minterm = ext_bool list
type dnf_expression = dnf_minterm list
type optimization_algorithm =
  1. | Qmc
  2. | Qmc_CyclicCore
  3. | Qmc_SimpleHeuristic_SortOnce
  4. | Qmc_SimpleHeuristic_SortEachTime
  5. | Qmc_SimpleHeuristic_AdvancedHeuristic
  6. | Qmc_SimpleHeuristic_Best
  7. | Qmc_PetricksMethod
  8. | In_Place_Heuristic
val set_verbose_mode : bool -> unit
val set_result_verification : bool -> unit
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