package dedukti

  1. Overview
  2. Docs

Confluence checker

val d_confluence : Basic.Debug.flag
type confluence_error =
  1. | NotConfluent of string
  2. | MaybeConfluent of string
  3. | CCFailure of string
exception Confluence_error of confluence_error
val set_cmd : string -> unit
val initialize : unit -> unit
val add_constant : Basic.name -> unit
val add_rules : Rule.rule_infos list -> unit
val check : unit -> unit

Runs confluence checker. May raise Confluence Error.

val finalize : unit -> unit