package goblint
Static analysis framework for C
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
doc/goblint.lib/Goblint_lib/Control/AnalyzeCFG/Result/index.html
Module AnalyzeCFG.Result
type key = MyCFG.nodeval create : int -> 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval length : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> intval is_empty : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> boolval clear : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> unitval reset : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> unitval add :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a ->
unitval remove : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> unitval remove_all :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
unitval find : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> 'aval find_all :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a listval find_default :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a ->
'aval find_option :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a optionval find_opt :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a optionval replace :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a ->
unitval mem : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> boolval iter :
(key -> 'a -> unit) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval for_all :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
boolval fold :
(key -> 'a -> 'b -> 'b) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b ->
'bval exists :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
boolval map :
(key -> 'b -> 'c) ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval map_inplace :
(key -> 'a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval filter :
('a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval filter_inplace :
('a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval filteri :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval filteri_inplace :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval filter_map :
(key -> 'a -> 'b option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval filter_map_inplace :
(key -> 'a -> 'a option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval modify :
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval modify_def :
'a ->
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval modify_opt :
key ->
('a option -> 'a option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval merge :
(key -> 'a option -> 'b option -> 'c option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval merge_all :
(key -> 'a list -> 'b list -> 'c list) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval stats :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
BatHashtbl.statisticsval to_seq :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) Seq.tval to_seq_keys :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key Seq.tval to_seq_values :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a Seq.tval add_seq :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) Seq.t ->
unitval replace_seq :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) Seq.t ->
unitval of_seq :
(key * 'a) Seq.t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval keys : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key BatEnum.tval values :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a BatEnum.tval enum :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) BatEnum.tval to_list :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) listval of_enum :
(key * 'a) BatEnum.t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval of_list :
(key * 'a) list ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval print :
?first:string ->
?last:string ->
?sep:string ->
('a BatInnerIO.output -> key -> unit) ->
('a BatInnerIO.output -> 'b -> unit) ->
'a BatInnerIO.output ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitmodule Exceptionless : sig ... endmodule Infix : sig ... endmodule Labels : sig ... endtype nonrec t = LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval pretty :
unit ->
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
GoblintCil.Pretty.docval printXml :
'a BatInnerIO.output ->
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval printJson :
'a BatInnerIO.output ->
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval printXmlWarning : 'a BatInnerIO.output -> unit -> unitval output :
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t Lazy.t ->
'a ->
(unit BatIO.output -> 'a -> 'b) ->
GoblintCil.file ->
unit