Up – Package index » mc2 » Library mc2.smtlib » Mc2_smtlib » Make

Module `Mc2_smtlib.Make`Source

Parameters

module ARG : sig ... end

Signature

Sourceval parse : string -> PA.statement list or_error

Sourceval parse_stdin : unit -> PA.statement list or_error

Sourceval typecheck : PA.statement list -> Mc2_core.Statement.t list or_error

val process_stmt : 
  ?gc:bool ->
  ?restarts:bool ->
  ?pp_cnf:bool ->
  ?dot_proof:string ->
  ?pp_model:bool ->
  ?check:bool ->
  ?time:float ->
  ?memory:float ->
  ?progress:bool ->
  ?switch:Mc2_core.Util.Switch.t ->
  Mc2_core.Statement.t ->
  unit or_error

Process the given statement.