package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frontend.MakeSource

Parameters

Signature

Sourcetype sat_env = SAT.t
Sourcetype used_context
Sourcetype status =
  1. | Unsat of Commands.sat_tdecl * Explanation.t
  2. | Inconsistent of Commands.sat_tdecl
  3. | Sat of Commands.sat_tdecl * sat_env
  4. | Unknown of Commands.sat_tdecl * sat_env
  5. | Timeout of Commands.sat_tdecl option
  6. | Preprocess
Sourceval process_decl : (status -> int64 -> unit) -> used_context -> (sat_env * bool * Explanation.t) -> Commands.sat_tdecl -> sat_env * bool * Explanation.t
Sourceval print_status : status -> int64 -> unit
Sourceval init_all_used_context : unit -> used_context
Sourceval choose_used_context : used_context -> goal_name:string -> used_context