module Register:sig
..end
Nothing is exported here
Functions are registered in Db
.
module FC_file: File
exception Cannot_expand
exception Cannot_change
val plus_pi : loc:Cil_types.location -> Cil_types.exp -> Integer.t -> Cil_types.exp
class propagate :Project.t -> Cil_datatype.Fundec.Set.t -> cast_intro:bool ->
object
..end
module Result_pair:Datatype.Pair_with_collections
(
Cil_datatype.Fundec.Set
)
(
Datatype.Bool
)
(
sig
val module_name :string
end
)
module Result:State_builder.Hashtbl
(
Datatype.Hashtbl
(
Result_pair.Hashtbl
)
(
Result_pair
)
(
sig
val module_name :string
end
)
)
(
Project.Datatype
)
(
sig
val size :int
val name :string
val dependencies :State.t list
end
)
val selection_command_line_option : State_selection.t
val journalized_get : PropagationParameters.SemanticConstFold.t -> Datatype.Bool.t -> Project.t
val get : PropagationParameters.SemanticConstFold.t ->
cast_intro:Datatype.Bool.t -> Project.t
val compute : unit -> unit
val main : unit -> unit