Up  Next

Module Approx (.ml)

module Approx: sig .. end

Approximations and candidates generation

val remove_bad_candidates : Ast.t_system -> Node.t -> Node.t list -> Node.t list

Register bad candidates and try to infer as much inforamtion as possible from the error trace before the restart.

Interface 

module type S = sig .. end
module Make: 
functor (O : Oracle.S) -> S

Functor for creating an approximation procedure from an oracle

module SelectedOracle: Oracle.S

The oracle selected by the command line options

module Selected: S

The approximation module constructed with the oracle selected by the command line options