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

val compute : State_set.t -> unit

val results : unit -> Value_types.call_result

val merge_results : unit -> unit

val mark_degeneration : unit -> unit