Module Approx (.ml)

module Approx: sig .. end
Approximations and candidates generation


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