Functor Eval_slevel.Computer

module Computer: 
functor (AnalysisParam : sig
val kf : Cil_types.kernel_function
val initial_states : State_set.t
val active_behaviors : Eval_annots.ActiveBehaviors.t
end) -> sig .. end
Parameters:
AnalysisParam : sig val kf : Cil_types.kernel_function val initial_states : State_set.t val active_behaviors : Eval_annots.ActiveBehaviors.t end

val compute : State_set.t -> unit
val results : unit -> Value_types.call_result
val merge_results : unit -> unit
val mark_degeneration : unit -> unit